From: Magnus Jacobsson <Magnus.Jacobsson@berotec.se>
Date: Sun, 7 Jun 2020 14:01:24 +0000 (+0200)
Subject: Add ci/extract-configure-log.sh
X-Git-Tag: 2.44.1~11^2^2~9
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=f0b787d81e0ce3fb807a7088a2f1414856ba6fa4;p=graphviz

Add ci/extract-configure-log.sh
---

diff --git a/ci/extract-configure-log.sh b/ci/extract-configure-log.sh
new file mode 100755
index 000000000..f5ea2a8b5
--- /dev/null
+++ b/ci/extract-configure-log.sh
@@ -0,0 +1,13 @@
+#!/usr/bin/awk -f
+
+/will be compiled with the following:/,/^  criterion:     No/ {
+    enable = 1;
+}
+{
+    if (enable) {
+        print $0;
+    }
+}
+/^  criterion:     No/ {
+    enable = 0;
+}