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(-)
11 # CT_INSERT_VERSION_ABOVE
12 # Don't remove above line!
17 default "4.2.2" if GMP_V_4_2_2
18 # CT_INSERT_VERSION_STRING_ABOVE
19 # Don't remove above line!
26 It is highly recommended that 'make check' is run against the newly built
27 GMP library. See http://gmplib.org/