X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=parse-all-heavy;h=a6fce9ebef5db3becb3abc4056d03cd438d39224;hb=0ee5ac77918b105dd6a5f8469947b9f040bd2bfa;hp=757e46d200866f0174f8e828db96ab792f92ecd6;hpb=26c90f23c4f881cbffa1e9bd321072ea4495ca91;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