X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fbugs%2Fcurtailed.sh;h=9c46e9ffcdba3b1e418c37e0ed27120e78b0507a;hb=9aff19b717bcc242e16d04c34f348fd79ebdd685;hp=86acddf5c92c094758753d671472c2ce83115ece;hpb=f5574c6264163859a8eb94ab1e33bcc1b61fce5f;p=pspp-builds.git

diff --git a/tests/bugs/curtailed.sh b/tests/bugs/curtailed.sh
index 86acddf5..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 -e /dev/null $TESTFILE
+$SUPERVISOR $PSPP --testing-mode -e /dev/null $TESTFILE
 if [ $? -ne 1 ] ; then fail ; fi