X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fbugs%2Fcomputebug.sh;h=dfa5990a759cc416209552e6ba60b4f1eb6379cd;hb=refs%2Fheads%2Fmaster;hp=cf9e4565545b581d128e3a9310cd3578ce0aeb9d;hpb=65a4e29574b67921ea899b6a1d45806dca11db00;p=pspp-builds.git diff --git a/tests/bugs/computebug.sh b/tests/bugs/computebug.sh index cf9e4565..dfa5990a 100755 --- a/tests/bugs/computebug.sh +++ b/tests/bugs/computebug.sh @@ -20,6 +20,10 @@ export STAT_CONFIG_PATH cleanup() { + if [ x"$PSPP_TEST_NO_CLEANUP" != x ] ; then + echo "NOT cleaning $TEMPDIR" + return ; + fi cd / rm -rf $TEMPDIR } @@ -60,7 +64,7 @@ if [ $? -ne 0 ] ; then no_result ; fi activity="run program" -$SUPERVISOR $PSPP -o raw-ascii $TEMPDIR/computebug.stat +$SUPERVISOR $PSPP --testing-mode $TEMPDIR/computebug.stat if [ $? -ne 0 ] ; then no_result ; fi