From e10d92fe99eb6e16fb31d296fbec4eaf9fa75f5a Mon Sep 17 00:00:00 2001
From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 9 Aug 2015 14:31:23 -0700
Subject: [PATCH] parse-all-light: Parse files from williams, germano, smekens
 also.

---
 parse-all-light | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/parse-all-light b/parse-all-light
index 5104d50d4e..3925c52f8d 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}/*/*light*.bin; do
     if ! ./dump all < $d >/dev/null; then
 	echo $d
 	./dump all < $d
-- 
2.30.2