X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=tests%2Fcommand%2Foneway.sh;h=6245ec8fd28e3d7e2941efdfad5c3392a4b620c3;hb=9074ccc083d5d68f0d3a2843106165a6d99ae1c6;hp=22e88456895c137d3fc7253d2b9b2c623df9aee7;hpb=1339492699ce7e12c9bf9fa17f9d60a66024cbd1;p=pspp

diff --git a/tests/command/oneway.sh b/tests/command/oneway.sh
index 22e8845689..6245ec8fd2 100755
--- a/tests/command/oneway.sh
+++ b/tests/command/oneway.sh
@@ -15,7 +15,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
 }