X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=tests%2Fformats%2Ffloat-format.sh;h=2a6b608740e1e248895056a043513f0bcdf3614d;hb=3f169362cccc5fe461f5369a4db2e3cbcb3fead5;hp=b146d18993292329edf39287d9f8eeee3a7994bf;hpb=9aff19b717bcc242e16d04c34f348fd79ebdd685;p=pspp

diff --git a/tests/formats/float-format.sh b/tests/formats/float-format.sh
index b146d18993..2a6b608740 100755
--- a/tests/formats/float-format.sh
+++ b/tests/formats/float-format.sh
@@ -19,6 +19,10 @@ export STAT_CONFIG_PATH
 
 cleanup()
 {
+     if [ x"$PSPP_TEST_NO_CLEANUP" != x ] ; then 
+	echo "NOT cleaning $TEMPDIR" 
+	return ; 
+     fi
      cd /
      rm -rf $TEMPDIR
 }