diff -r 000000000000 -r 42faddd0098a tools/extractConfig.sh
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tools/extractConfig.sh	Sat Apr 21 17:31:51 2007 +0000
@@ -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-