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

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