X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fbugs%2Fprint-crash.sh;h=0b66ddb19e0738eb8cc5cec7de07254a21f83376;hb=44daa45c8dcab1198280ebb71d35772a990d3e11;hp=22b215660708b355e9780b563080a0caec5fab0c;hpb=6ba6662c69e868290d1e514ffe65ef447e9263d6;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