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

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