1 files changed, 23 insertions, 0 deletions
diff --git a/tools/extractConfig.sh b/tools/extractConfig.sh
new file mode 100755
index 0000000..408f69e
--- /dev/null
+++ b/tools/extractConfig.sh
@@ -0,0 +1,23 @@
+#!/bin/sh
+
+# This scripts extracts a crosstool-ng configuration from the log file
+# of a toolchain build with crosstool-ng.
+
+# Usage: $0 <logfile>
+
+cat "$1" |awk '
+BEGIN {
+  dump = 0;
+}
+
+$0~/Dumping crosstool-NG configuration: done in.+s$/ {
+  dump = 0;
+}
+
+dump == 1 { $1 = "" }
+dump == 1
+
+$0~/Dumping crosstool-NG configuration$/ {
+  dump = 1;
+}
+' |cut -d ' ' -f 2-