X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fcommand%2Foneway-with-splits.sh;h=3075467cbd114faf98ba6cb68114b6c40bee42a9;hb=9074ccc083d5d68f0d3a2843106165a6d99ae1c6;hp=6b510bfc94422263e87831f98863eb938717bf45;hpb=1339492699ce7e12c9bf9fa17f9d60a66024cbd1;p=pspp

diff --git a/tests/command/oneway-with-splits.sh b/tests/command/oneway-with-splits.sh
index 6b510bfc94..3075467cbd 100755
--- a/tests/command/oneway-with-splits.sh
+++ b/tests/command/oneway-with-splits.sh
@@ -16,7 +16,11 @@ export STAT_CONFIG_PATH=$top_srcdir/config
 
 cleanup()
 {
-     rm -rf $TEMPDIR
+    if [ x"$PSPP_TEST_NO_CLEANUP" != x ] ; then 
+	echo Not cleaning $TEMPDIR;
+	return ; 
+    fi
+    rm -rf $TEMPDIR
 }