From: John Darrington <john@darrington.wattle.id.au>
Date: Sun, 5 Sep 2021 10:59:49 +0000 (+0200)
Subject: Windows/build-dependencies: New flag --no-clean
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=commitdiff_plain;h=17e858592008dd0fd3fdbe6d510210b4e9c1d613

Windows/build-dependencies: New flag --no-clean
---

diff --git a/Windows/build-dependencies b/Windows/build-dependencies
index 236b1d8bdc..f2e9692167 100755
--- a/Windows/build-dependencies
+++ b/Windows/build-dependencies
@@ -41,6 +41,8 @@ while test $# -gt 0; do
             SANDBOX=${1##--sandbox=};;
         --tarballs=*)
             SRC_TARBALL_DIR=${1##--tarballs=};;
+        --no-clean)
+            noclean=yes;;
         *)
             printf "Usage: $0 --arch=<arch> --sandbox=<dir> [--tarballs=<dir>]\n";
             exit 1;
@@ -62,7 +64,7 @@ fi
 
 SRC_TARBALL_DIR=`eval echo $SRC_TARBALL_DIR`
 
-rm -rIf $SANDBOX
+test "x$noclean" = "xyes" || rm -rIf $SANDBOX
 
 default_build_procs=$(expr $(cat /proc/cpuinfo | grep -c '^processor') + 1)