tools/extract-config.sh
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Thu Jul 24 06:42:29 2008 +0000 (2008-07-24)
changeset 712 32ad25a4765e
parent 276 835178a32fc1
child 806 b5734a8508f1
permissions -rwxr-xr-x
When retrieving a file, allow preferred extension to be whatever starts with a dot, and not only one of .tar.bz2 .tar.gz .tgz or .tar.

/trunk/scripts/functions | 5 3 2 0 +++--
1 file changed, 3 insertions(+), 2 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-