X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fbugs%2Fprint-crash.sh;h=ba1630f5b69c0d1cee7264dcb2d748b3876107b9;hb=5715e8846c6e3a8dd539b2dc9c9c65640f84af76;hp=d362ede1dd63ed20795d2691e218db21e5ee4101;hpb=1ba9ab71de8a6528beaf22de3ee6d2eb697eb61d;p=pspp-builds.git

diff --git a/tests/bugs/print-crash.sh b/tests/bugs/print-crash.sh
index d362ede1..ba1630f5 100755
--- a/tests/bugs/print-crash.sh
+++ b/tests/bugs/print-crash.sh
@@ -68,7 +68,7 @@ if [ $? -ne 0 ] ; then no_result ; fi
 
 
 activity="run program"
-$SUPERVISOR $PSPP --testing-mode -o raw-ascii $TESTFILE > /dev/null
+$SUPERVISOR $PSPP --testing-mode -o raw-ascii -e /dev/null $TESTFILE 
 if [ $? -ne 1 ] ; then fail ; fi