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

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