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-