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(-)
3 # This scripts extracts a crosstool-NG configuration from the log file
4 # of a toolchain build with crosstool-NG.
6 # Usage: cat <logfile> |$0
13 $0~/Dumping crosstool-NG configuration: done in.+s$/ {
20 $0~/Dumping crosstool-NG configuration$/ {