X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fbugs%2Frandom.sh;h=c41dbf00504d556e9dd96601ee0fff9c4c214a51;hb=bc0e3fee279da2813183ab2cd17fced06eae09e8;hp=c7f3e8bee7fee13574a9c1ac98e7fd2de1325863;hpb=92d30146a06e46dd0074565cdca54b3dd2028c1a;p=pspp

diff --git a/tests/bugs/random.sh b/tests/bugs/random.sh
index c7f3e8bee7..c41dbf0050 100755
--- a/tests/bugs/random.sh
+++ b/tests/bugs/random.sh
@@ -71,7 +71,7 @@ EOF
 if [ $? -ne 0 ] ; then no_result ; fi
 
 activity="run program"
-$SUPERVISOR $PSPP -o raw-ascii $TESTFILE
+$SUPERVISOR $PSPP --testing-mode $TESTFILE
 if [ $? -ne 0 ] ; then no_result ; fi