No need for this script now the config is tored in its own file.
1.1 --- a/tools/extract-config.sh Wed Oct 01 18:10:40 2008 +0000
1.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
1.3 @@ -1,23 +0,0 @@
1.4 -#!/bin/bash
1.5 -
1.6 -# This scripts extracts a crosstool-NG configuration from the log file
1.7 -# of a toolchain build with crosstool-NG.
1.8 -
1.9 -# Usage: cat <logfile> |$0
1.10 -
1.11 -awk '
1.12 -BEGIN {
1.13 - dump = 0;
1.14 -}
1.15 -
1.16 -$0~/Dumping crosstool-NG configuration: done in/ {
1.17 - dump = 0;
1.18 -}
1.19 -
1.20 -dump == 1 { $1 = "" }
1.21 -dump == 1
1.22 -
1.23 -$0~/Dumping crosstool-NG configuration$/ {
1.24 - dump = 1;
1.25 -}
1.26 -' |cut -d ' ' -f 2-