X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=parse-all-light;h=5104d50d4ef9a5b896c7abf6bbb6b84f74bb5c9f;hb=8f03a15bc9fce38e9651dcb3ce82ba7815ccc9b5;hp=2d2c8f2f021e2265fffc76cf5c1d8a77ee29a054;hpb=26c90f23c4f881cbffa1e9bd321072ea4495ca91;p=pspp

diff --git a/parse-all-light b/parse-all-light
index 2d2c8f2f02..5104d50d4e 100755
--- a/parse-all-light
+++ b/parse-all-light
@@ -2,7 +2,7 @@
 light=`ls -1 unzipped/*/*.bin | grep light`
 
 for d in $light; do
-    if ! ./dump all < $d > /dev/null 2>&1; then
+    if ! ./dump all < $d >/dev/null; then
 	echo $d
 	./dump all < $d
 	echo