X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=tests%2Fcommand%2Fvariable-display.sh;h=d3f680245315d5eb00ed7b0e2d83c1d781e3cb51;hb=2cf7ac68ff3ab753be17381fa5d2c2ac27b7ff34;hp=bb639d10f6e8829ad012ddaed0201555e963a234;hpb=4e342b9c38c26c4e61196a39eb350665025ecdef;p=pspp

diff --git a/tests/command/variable-display.sh b/tests/command/variable-display.sh
index bb639d10f6..d3f6802453 100755
--- a/tests/command/variable-display.sh
+++ b/tests/command/variable-display.sh
@@ -21,6 +21,10 @@ export STAT_CONFIG_PATH
 
 cleanup()
 {
+     if [ x"$PSPP_TEST_NO_CLEANUP" != x ] ; then 
+	echo "NOT cleaning $TEMPDIR" 
+	return ; 
+     fi
      cd /
      rm -rf $TEMPDIR
 }