X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fcommand%2Fautorecod.sh;h=e956fcfa0403363b6ef61b9d7955855728185ff3;hb=7665da99ed70c1a5ffee47e99e1672244b444ed4;hp=47e00239acf26930ab06a3c2ea2c53752ea27992;hpb=9aff19b717bcc242e16d04c34f348fd79ebdd685;p=pspp

diff --git a/tests/command/autorecod.sh b/tests/command/autorecod.sh
index 47e00239ac..e956fcfa04 100755
--- a/tests/command/autorecod.sh
+++ b/tests/command/autorecod.sh
@@ -23,6 +23,10 @@ export LANG
 
 cleanup()
 {
+     if [ x"$PSPP_TEST_NO_CLEANUP" != x ] ; then 
+	echo "NOT cleaning $TEMPDIR" 
+	return ; 
+     fi
      cd /
      rm -rf $TEMPDIR
 }