X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fbugs%2Flag_crash.sh;h=87a411ad0d18e227460a4265c964382c6f353736;hb=10e81be44094541d3ef632e6e89b8641ecfb91c6;hp=0ed8e07707fec5c6832643b11907e442eb86ab26;hpb=65a4e29574b67921ea899b6a1d45806dca11db00;p=pspp

diff --git a/tests/bugs/lag_crash.sh b/tests/bugs/lag_crash.sh
index 0ed8e07707..87a411ad0d 100755
--- a/tests/bugs/lag_crash.sh
+++ b/tests/bugs/lag_crash.sh
@@ -70,7 +70,7 @@ if [ $? -ne 0 ] ; then no_result ; fi
 
 
 activity="run_program"
-$SUPERVISOR $PSPP $TESTFILE > /dev/null
+$SUPERVISOR $PSPP --testing-mode $TESTFILE 
 if [ $? -ne 0 ] ; then fail ; fi