X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=parse-all-xml;h=c7b7f93a532a78a9ce2058f3cd05e1032b93431c;hb=d19037e528f40400799790646e8cfafc027da304;hp=98a4258ddbd50c36bbc47fbca083df5491837844;hpb=0f833bb108ef5a1d78be8ee31b2fe2855f6bd03b;p=pspp

diff --git a/parse-all-xml b/parse-all-xml
index 98a4258ddb..c7b7f93a53 100755
--- a/parse-all-xml
+++ b/parse-all-xml
@@ -1,5 +1,13 @@
 #! /bin/sh
-for d in `ls -1 unzipped/*/*.xml |grep -vE 'notes|table|warning|chart|model'`
-do
-    ./parse-xml $d
-done | sort -u
+
+# Parse the structure members that do not represent models or graphs.
+# Also skip those with borderProperties, which indicate the non-"light"
+# format.
+lightTables=`find unzipped* -name '*.xml' | grep -vE 'notes|table|warning|chart|model' \
+          | xargs grep -EL '<([a-z]*:)?(model|graph|borderProperties)'`
+
+if test -n "$1"; then
+    for d in $lightTables; do
+	./parse-xml $d $1
+    done | sort | uniq -c
+fi