X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=tests%2Fbugs%2Fprint-crash.sh;h=9c1a7677f99f2e078951e5ae533b3061a4f6b51b;hb=e0f3cbb08064b974b28277173fcaf36c790efc41;hp=ba1630f5b69c0d1cee7264dcb2d748b3876107b9;hpb=f5574c6264163859a8eb94ab1e33bcc1b61fce5f;p=pspp-builds.git diff --git a/tests/bugs/print-crash.sh b/tests/bugs/print-crash.sh index ba1630f5..9c1a7677 100755 --- a/tests/bugs/print-crash.sh +++ b/tests/bugs/print-crash.sh @@ -68,7 +68,7 @@ if [ $? -ne 0 ] ; then no_result ; fi activity="run program" -$SUPERVISOR $PSPP --testing-mode -o raw-ascii -e /dev/null $TESTFILE +$SUPERVISOR $PSPP --testing-mode -e /dev/null $TESTFILE if [ $? -ne 1 ] ; then fail ; fi