X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fbugs%2Fget.sh;h=aa76a8c0c723294f7ac5b9b7c6dfde17eadc89e0;hb=f51ecb48027e6b1eb46840ae25888a25b429f012;hp=86b39c661df71f8d6e4f51091b922b836255c262;hpb=cfbbebdd6b3085f4094c073e4ebd139ac1d37737;p=pspp-builds.git diff --git a/tests/bugs/get.sh b/tests/bugs/get.sh index 86b39c66..aa76a8c0 100755 --- a/tests/bugs/get.sh +++ b/tests/bugs/get.sh @@ -87,7 +87,7 @@ if [ $? -ne 0 ] ; then no_result ; fi activity="run program" -$SUPERVISOR $PSPP --testing-mode $TESTFILE +$SUPERVISOR $PSPP -o pspp.csv $TESTFILE if [ $? -ne 0 ] ; then no_result ; fi