changeset 496 | f31cc6a00472 |
parent 468 | c310ff1d697f |
child 602 | 1968d150a34f |
1.1 --- a/scripts/build/gmp.sh Wed Apr 30 16:38:06 2008 +0000 1.2 +++ b/scripts/build/gmp.sh Sun May 11 12:53:37 2008 +0000 1.3 @@ -10,9 +10,7 @@ 1.4 1.5 # Download GMP 1.6 do_gmp_get() { 1.7 - CT_GetFile "${CT_GMP_FILE}" \ 1.8 - http://ftp.sunet.se/pub/gnu/gmp \ 1.9 - ftp://ftp.gnu.org/gnu/gmp 1.10 + CT_GetFile "${CT_GMP_FILE}" {ftp,http}://{ftp.sunet.se/pub,ftp.gnu.org}/gnu/gmp 1.11 } 1.12 1.13 # Extract GMP