X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fbugs%2Fprint-crash.sh;h=0b66ddb19e0738eb8cc5cec7de07254a21f83376;hb=f51ecb48027e6b1eb46840ae25888a25b429f012;hp=22b215660708b355e9780b563080a0caec5fab0c;hpb=cfbbebdd6b3085f4094c073e4ebd139ac1d37737;p=pspp-builds.git diff --git a/tests/bugs/print-crash.sh b/tests/bugs/print-crash.sh index 22b21566..0b66ddb1 100755 --- a/tests/bugs/print-crash.sh +++ b/tests/bugs/print-crash.sh @@ -70,7 +70,7 @@ if [ $? -ne 0 ] ; then no_result ; fi activity="run program" -$SUPERVISOR $PSPP --testing-mode -e /dev/null $TESTFILE +$SUPERVISOR $PSPP -o pspp.csv -e /dev/null $TESTFILE if [ $? -ne 1 ] ; then fail ; fi