X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=parse-all-light;h=836369d9f818d9cad87220b5ee7d4c2ff8112586;hb=925d31a9190b50de45b108c577885a147fe773ef;hp=e63811cd9fb973d2405544b905ea5229098ff5f4;hpb=91e1d822895e84a15e17b15762c6d33629f83342;p=pspp

diff --git a/parse-all-light b/parse-all-light
index e63811cd9f..836369d9f8 100755
--- a/parse-all-light
+++ b/parse-all-light
@@ -1,9 +1,9 @@
 #! /bin/bash
 make || exit 1
 for d in {unzipped3,williams,germano,smekens,unzipped,unzipped2}/*/*light*.bin; do
-    if ! ./dump all < $d > /dev/null; then
+    if ! ./dump $d > /dev/null; then
 	echo $d
-	#./dump all < $d
+	./dump $d
 	echo
     fi
 done