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

diff --git a/tests/bugs/print-crash.sh b/tests/bugs/print-crash.sh
index d362ede1dd..ba1630f5b6 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