diff -r 000000000000 -r 42650dc4e95e tools/ct-ng.extract-config
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tools/ct-ng.extract-config	Thu Jul 12 08:47:15 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-