X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fbugs%2Fget-no-file.sh;h=45b688276ca78507d4b5dc7e2a36d003b2887d04;hb=2d4dd90964061defa92972156ae2a12323708519;hp=56bb153a8f487da0b47995558a3bc26937b3c6d1;hpb=2997cc6481d0744e910eccb6f23d56efe93d32d3;p=pspp-builds.git

diff --git a/tests/bugs/get-no-file.sh b/tests/bugs/get-no-file.sh
index 56bb153a..45b68827 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 -o raw-ascii  > /dev/null
 if [ $? -ne 0 ] ; then fail ; fi
 
 pass