X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=parse-all-light;h=1facaec43d2bf858272a30f356862464e2d724af;hb=60e0b4f8a7f3210c94d9d488d7faac3b0d1d16f9;hp=3925c52f8d3bbd1e60e91647f1398bd47f67f4b1;hpb=e10d92fe99eb6e16fb31d296fbec4eaf9fa75f5a;p=pspp

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