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

diff --git a/tests/command/variable-display.sh b/tests/command/variable-display.sh
index bb639d10..d3f68024 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
 }