X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fbugs%2Ftemp-freq.sh;h=8e0e2c7a1f72bad09b948623670ae8865f62054d;hb=4cf49191fb83586ae05ed9613ce229417c106055;hp=64f12ee9aa8f4836f43d0e0ef96e4467b5573211;hpb=9aff19b717bcc242e16d04c34f348fd79ebdd685;p=pspp-builds.git

diff --git a/tests/bugs/temp-freq.sh b/tests/bugs/temp-freq.sh
index 64f12ee9..8e0e2c7a 100755
--- a/tests/bugs/temp-freq.sh
+++ b/tests/bugs/temp-freq.sh
@@ -24,6 +24,10 @@ export LANG
 
 cleanup()
 {
+     if [ x"$PSPP_TEST_NO_CLEANUP" != x ] ; then 
+	echo "NOT cleaning $TEMPDIR" 
+	return ; 
+     fi
      cd /
      rm -rf $TEMPDIR
 }