X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fcommand%2Fuse.sh;h=18b66f0f158054209c6b9eec653c08c2a062b663;hb=90a74c873f5dc594ac9bb6b1b347bf12b1c00319;hp=310368573d81f9c403c2fd879c897655fe6f5345;hpb=65a4e29574b67921ea899b6a1d45806dca11db00;p=pspp diff --git a/tests/command/use.sh b/tests/command/use.sh index 310368573d..18b66f0f15 100755 --- a/tests/command/use.sh +++ b/tests/command/use.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 } @@ -75,7 +79,7 @@ if [ $? -ne 0 ] ; then no_result ; fi activity="run program" -$SUPERVISOR $PSPP --testing-mode -o raw-ascii $TEMPDIR/filter.stat +$SUPERVISOR $PSPP -B $STAT_CONFIG_PATH --testing-mode $TEMPDIR/filter.stat if [ $? -ne 0 ] ; then no_result ; fi