X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=parse-all-light;h=1facaec43d2bf858272a30f356862464e2d724af;hb=e2c8f78fb3d4434e4d71aedd9b96c03b17835bf3;hp=5104d50d4ef9a5b896c7abf6bbb6b84f74bb5c9f;hpb=8f03a15bc9fce38e9651dcb3ce82ba7815ccc9b5;p=pspp

diff --git a/parse-all-light b/parse-all-light
index 5104d50d4e..1facaec43d 100755
--- a/parse-all-light
+++ b/parse-all-light
@@ -1,7 +1,5 @@
-#! /bin/sh
-light=`ls -1 unzipped/*/*.bin | grep light`
-
-for d in $light; do
+#! /bin/bash
+for d in {williams,germano,smekens,unzipped,unzipped2}/*/*light*.bin; do
     if ! ./dump all < $d >/dev/null; then
 	echo $d
 	./dump all < $d