Rework a little bit of the LAN mirror and proxy settings.

/trunk/scripts/crosstool.sh | 105 4 101 0 +------------------------
/trunk/scripts/functions | 151 129 22 0 +++++++++++++++++++++++++++++++-----
/trunk/config/global/download.in | 193 99 94 0 ++++++++++++++++++++++++----------------------
3 files changed, 232 insertions(+), 217 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-