updated fetch_build_git_repos.sh

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

@ -62,4 +62,7 @@ for repo in $repolist; do
pushd "$repo_dir"
$make $build $opts
popd
if [ -f /.dockerenv ] && grep -q ^system-packages-remove Makefile; then
$make system-packages-remove
fi
done

Loading…
Cancel
Save