From 7a18c0af8d235c65715fad52e02ef01ee056ac91 Mon Sep 17 00:00:00 2001
From: Hari Sekhon <harisekhon@gmail.com>
Date: Sat, 9 Mar 2019 16:10:12 +0000
Subject: [PATCH] updated fetch_build_git_repos.sh

---
 fetch_build_git_repos.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/fetch_build_git_repos.sh b/fetch_build_git_repos.sh
index a9a1c776..a091b3b0 100755
--- a/fetch_build_git_repos.sh
+++ b/fetch_build_git_repos.sh
@@ -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