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-