diff -r 7c5117eade60 -r 918b55e0e4a1 tools/extractConfig.sh
--- a/tools/extractConfig.sh	Sun Jul 08 22:26:37 2007 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,23 +0,0 @@
-#!/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-