1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/tools/extract-config.sh	Mon Jul 30 21:09:12 2007 +0000
     1.3 @@ -0,0 +1,23 @@
     1.4 +#!/bin/sh
     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.+s$/ {
    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-