tools/extract-config.sh
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Wed Jul 16 21:59:49 2008 +0000 (2008-07-16)
changeset 673 a78a4bcc62d6
parent 276 835178a32fc1
child 806 b5734a8508f1
permissions -rwxr-xr-x
Introduce a list of tools to check for at ./configure time.
Move some functions around (no code change).
Only tell about applying contribs when there are contribs to apply.
Some eye-candy here and there.

/trunk/configure | 94 75 19 0 +++++++++++++++++++++++++++++++++++++++++++++++++-------------
1 file changed, 75 insertions(+), 19 deletions(-)
     1 #!/bin/bash
     2 
     3 # This scripts extracts a crosstool-NG configuration from the log file
     4 # of a toolchain build with crosstool-NG.
     5 
     6 # Usage: cat <logfile> |$0
     7 
     8 awk '
     9 BEGIN {
    10   dump = 0;
    11 }
    12 
    13 $0~/Dumping crosstool-NG configuration: done in.+s$/ {
    14   dump = 0;
    15 }
    16 
    17 dump == 1 { $1 = "" }
    18 dump == 1
    19 
    20 $0~/Dumping crosstool-NG configuration$/ {
    21   dump = 1;
    22 }
    23 ' |cut -d ' ' -f 2-