From 03622bd1c0897ae314746a7889425c08611e07ba Mon Sep 17 00:00:00 2001 From: Hari Sekhon Date: Sat, 9 Mar 2019 16:10:20 +0000 Subject: [PATCH] updated fetch_build_git_repos.sh --- fetch_build_git_repos.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/fetch_build_git_repos.sh b/fetch_build_git_repos.sh index a091b3b0..751c122c 100755 --- a/fetch_build_git_repos.sh +++ b/fetch_build_git_repos.sh @@ -61,8 +61,8 @@ for repo in $repolist; do fi pushd "$repo_dir" $make $build $opts - popd if [ -f /.dockerenv ] && grep -q ^system-packages-remove Makefile; then $make system-packages-remove fi + popd done