X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fbugs%2Frandom.sh;h=e423f3e8b4c6318241adc54718902d22a1697b41;hb=fbc7e9617f218331dbf6580c220f03a632a72a2e;hp=c7f3e8bee7fee13574a9c1ac98e7fd2de1325863;hpb=92d30146a06e46dd0074565cdca54b3dd2028c1a;p=pspp-builds.git

diff --git a/tests/bugs/random.sh b/tests/bugs/random.sh
index c7f3e8be..e423f3e8 100755
--- a/tests/bugs/random.sh
+++ b/tests/bugs/random.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
 }
@@ -71,7 +75,7 @@ EOF
 if [ $? -ne 0 ] ; then no_result ; fi
 
 activity="run program"
-$SUPERVISOR $PSPP -o raw-ascii $TESTFILE
+$SUPERVISOR $PSPP --testing-mode $TESTFILE
 if [ $? -ne 0 ] ; then no_result ; fi