From: Ben Pfaff <blp@cs.stanford.edu>
Date: Mon, 17 Jul 2017 22:29:35 +0000 (-0700)
Subject: parse-all-xml: Parse all structure XML, not just "light" ones.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=commitdiff_plain;h=28291cf27d1d1a9e7003fe8426766538f7a21296

parse-all-xml: Parse all structure XML, not just "light" ones.
---

diff --git a/parse-all-xml b/parse-all-xml
index c7b7f93a53..09ec646bef 100755
--- a/parse-all-xml
+++ b/parse-all-xml
@@ -1,13 +1,9 @@
 #! /bin/sh
 
-# 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)'`
-
+# Parse the structure members.
+structure_members=`find unzipped* -name 'outputViewer*.xml'`
 if test -n "$1"; then
-    for d in $lightTables; do
-	./parse-xml $d $1
+    for d in $structure_members; do
+	./parse-xml $d "$@"
     done | sort | uniq -c
 fi