X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fformats%2Fformat-guesser.sh;h=75885a7830c901fc4e0dcaba897cfb8caae28dde;hb=a741cf4e8348e478ec5e8658cebeb80dc0376b1a;hp=ce98b1266bcfbea282b4dd396932d164fd83be1f;hpb=fcf89f04c65835dfb700c9f3ec2a0c33371610e1;p=pspp-builds.git

diff --git a/tests/formats/format-guesser.sh b/tests/formats/format-guesser.sh
index ce98b126..75885a78 100755
--- a/tests/formats/format-guesser.sh
+++ b/tests/formats/format-guesser.sh
@@ -19,9 +19,12 @@ export STAT_CONFIG_PATH
 
 cleanup()
 {
+     if [ x"$PSPP_TEST_NO_CLEANUP" != x ] ; then 
+	echo "NOT cleaning $TEMPDIR" 
+	return ; 
+     fi
      cd /
      rm -rf $TEMPDIR
-     :
 }