X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fbugs%2Fcurtailed.sh;h=9c46e9ffcdba3b1e418c37e0ed27120e78b0507a;hb=74cfe5c070a0810cf43c0981daa53dcea3a8ee3d;hp=93c45b594d8c8d93a7e9de2f0609301cb07fa00c;hpb=65a4e29574b67921ea899b6a1d45806dca11db00;p=pspp-builds.git diff --git a/tests/bugs/curtailed.sh b/tests/bugs/curtailed.sh index 93c45b59..9c46e9ff 100755 --- a/tests/bugs/curtailed.sh +++ b/tests/bugs/curtailed.sh @@ -70,7 +70,7 @@ if [ $? -ne 0 ] ; then no_result ; fi #This must fail activity="run program" -$SUPERVISOR $PSPP $TESTFILE > /dev/null +$SUPERVISOR $PSPP --testing-mode -e /dev/null $TESTFILE if [ $? -ne 1 ] ; then fail ; fi