Split-up download and extract options into two separate files, because download options are begining to be numerous.

/trunk/config/global/extract.in | 193 1 192 0 ----------------------------------------------
/trunk/config/global/download.in | 52 1 51 0 ------------
/trunk/config/global.in | 3 2 1 0 +
3 files changed, 4 insertions(+), 244 deletions(-)

#!/bin/bash

# This scripts extracts a crosstool-NG configuration from the log file

# of a toolchain build with crosstool-NG.

# Usage: cat <logfile> |$0

awk '

BEGIN {

  dump = 0;

}

$0~/Dumping crosstool-NG configuration: done in.+s$/ {

  dump = 0;

}

dump == 1 { $1 = "" }

dump == 1

$0~/Dumping crosstool-NG configuration$/ {

  dump = 1;

}

' |cut -d ' ' -f 2-