X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fcommand%2Fsample.sh;h=4f4515e2be05073a21a85232970a2bdbe77b5069;hb=a9a69251edd625a50f271af5d64c157533b5fe48;hp=8a210d02633a80c681f83afb141691c59f4ace05;hpb=65a4e29574b67921ea899b6a1d45806dca11db00;p=pspp-builds.git diff --git a/tests/command/sample.sh b/tests/command/sample.sh index 8a210d02..4f4515e2 100755 --- a/tests/command/sample.sh +++ b/tests/command/sample.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 } @@ -77,7 +81,7 @@ if [ $? -ne 0 ] ; then no_result ; fi activity="run program" -$SUPERVISOR $PSPP -o raw-ascii --testing-mode $TEMPDIR/sample.stat +$SUPERVISOR $PSPP --testing-mode $TEMPDIR/sample.stat if [ $? -ne 0 ] ; then no_result ; fi activity="create head"