X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fbugs%2Fget-no-file.sh;h=5e4de67a7f1d2130286dc7c30630051541969cfd;hb=bc0e3fee279da2813183ab2cd17fced06eae09e8;hp=56bb153a8f487da0b47995558a3bc26937b3c6d1;hpb=65a4e29574b67921ea899b6a1d45806dca11db00;p=pspp diff --git a/tests/bugs/get-no-file.sh b/tests/bugs/get-no-file.sh index 56bb153a8f..5e4de67a7f 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