X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=tests%2Fbugs%2Funwritable-dir.sh;h=774b6230b6a68e7d0f3a2f9bf5e2237aa24bbcf1;hb=c8377117389554c8e914052a46b03aa8bcae8364;hp=705c45b91ec5a73f66549c429d60d07c0a9fb0f4;hpb=7158580a14ebc9c9b4e44a537ecb1ea878c9e646;p=pspp-builds.git

diff --git a/tests/bugs/unwritable-dir.sh b/tests/bugs/unwritable-dir.sh
index 705c45b9..774b6230 100755
--- a/tests/bugs/unwritable-dir.sh
+++ b/tests/bugs/unwritable-dir.sh
@@ -20,6 +20,10 @@ export STAT_CONFIG_PATH
 
 cleanup()
 {
+     if [ x"$PSPP_TEST_NO_CLEANUP" != x ] ; then 
+	echo "NOT cleaning $TEMPDIR" 
+	return ; 
+     fi
      cd /
      chmod u+w $TEMPDIR
      rm -rf $TEMPDIR