tools/extract-config.sh
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Thu Aug 07 22:34:32 2008 +0000 (2008-08-07)
changeset 770 1af057f49f7e
parent 276 835178a32fc1
child 806 b5734a8508f1
permissions -rwxr-xr-x
Simplify populate: no need to be too smart.
If someone is playing us tricks, let him/her be beaten back.
Chances are he/she knows what happens when he/she finds out it does not work any more!

/trunk/tools/populate.in | 2 1 1 0 +-
1 file changed, 1 insertion(+), 1 deletion(-)
     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-