updated fetch_build_git_repos.sh

pull/2/head
Hari Sekhon 6 years ago
parent 7a18c0af8d
commit 03622bd1c0

@ -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

Loading…
Cancel
Save