tools/extract-config.sh
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sun Jun 15 22:02:45 2008 +0000 (2008-06-15)
changeset 564 30fbb26a83b4
parent 276 835178a32fc1
child 806 b5734a8508f1
permissions -rwxr-xr-x
Some makeinfo versions are a pain in [somewhere very painful].
Work this around with a wrapper that always succeeds, and leave incomplete files in place.

/trunk/scripts/crosstool.sh | 7 7 0 0 +++++++
1 file changed, 7 insertions(+)
     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-