1 files changed, 11 insertions, 0 deletions

diff --git a/tools/checkwps/parse_configure.awk b/tools/checkwps/parse_configure.awk
new file mode 100644
index 0000000000..0cb0c0b392
--- /dev/null
+++ b/tools/checkwps/parse_configure.awk
@@ -0,0 +1,11 @@
+BEGIN { FS="[|)]" }
+
+/^[ \t]*([0-9]+)\|([^)]+)\)$/ {
+    model=$2
+}
+
+/^[ \t]*target="[^"]+"$/ {
+    match($0, "-D[^\"]+")
+    target=substr($0, RSTART+2, RLENGTH-2)
+    print target, model
+}