X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=inline;f=tests%2Fbugs%2Fget-no-file.sh;h=5e4de67a7f1d2130286dc7c30630051541969cfd;hb=74cfe5c070a0810cf43c0981daa53dcea3a8ee3d;hp=56bb153a8f487da0b47995558a3bc26937b3c6d1;hpb=65a4e29574b67921ea899b6a1d45806dca11db00;p=pspp-builds.git diff --git a/tests/bugs/get-no-file.sh b/tests/bugs/get-no-file.sh index 56bb153a..5e4de67a 100755 --- a/tests/bugs/get-no-file.sh +++ b/tests/bugs/get-no-file.sh @@ -64,7 +64,7 @@ if [ $? -ne 0 ] ; then no_result ; fi # We use the stdinput here, because the bug seems to manifest itself only in # interactive mode. activity="run program" -cat $TESTFILE | $SUPERVISOR $PSPP -o raw-ascii > /dev/null +cat $TESTFILE | $SUPERVISOR $PSPP --testing-mode > /dev/null if [ $? -ne 0 ] ; then fail ; fi pass