X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fbugs%2Fcomputebug.sh;h=08077e57a838b7cd56fb2f99636e9384240409d8;hb=de2439d30fccf4a27e2857657f4680ed9237e8ff;hp=cf9e4565545b581d128e3a9310cd3578ce0aeb9d;hpb=65a4e29574b67921ea899b6a1d45806dca11db00;p=pspp-builds.git diff --git a/tests/bugs/computebug.sh b/tests/bugs/computebug.sh index cf9e4565..08077e57 100755 --- a/tests/bugs/computebug.sh +++ b/tests/bugs/computebug.sh @@ -60,7 +60,7 @@ if [ $? -ne 0 ] ; then no_result ; fi activity="run program" -$SUPERVISOR $PSPP -o raw-ascii $TEMPDIR/computebug.stat +$SUPERVISOR $PSPP --testing-mode $TEMPDIR/computebug.stat if [ $? -ne 0 ] ; then no_result ; fi