1.1 --- a/scripts/build/gmp.sh	Wed Apr 30 16:38:06 2008 +0000
     1.2 +++ b/scripts/build/gmp.sh	Sat May 03 17:51:16 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