X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=parse-all-heavy;h=a6fce9ebef5db3becb3abc4056d03cd438d39224;hb=75a05a0a68046957d9801db0bfc02b0108736e36;hp=757e46d200866f0174f8e828db96ab792f92ecd6;hpb=f926879f4be2b8eca78860e22f00d1001b91c175;p=pspp

diff --git a/parse-all-heavy b/parse-all-heavy
index 757e46d200..a6fce9ebef 100755
--- a/parse-all-heavy
+++ b/parse-all-heavy
@@ -1,10 +1,13 @@
 #! /bin/sh
-heavy=`ls -1 unzipped/*/*.bin | grep -v light`
 
-for d in $heavy; do
-    if ! ./dump2 < $d > /dev/null 2>&1; then
+make || exit $?
+for d in unzipped*/*/*.bin; do
+    case $d in
+        *light*) continue ;;
+    esac
+    if ! ./dump2 < $d > /dev/null; then
 	echo $d
-	./dump2 < $d
+#./dump2 < $d >/dev/null
 	echo
     fi
 done