diff options
Diffstat (limited to 'scripts/build/gmp.sh')
| -rw-r--r-- | scripts/build/gmp.sh | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/scripts/build/gmp.sh b/scripts/build/gmp.sh index 7cc2a859..ec99a2ab 100644 --- a/scripts/build/gmp.sh +++ b/scripts/build/gmp.sh @@ -10,9 +10,7 @@ do_print_filename() { # Download GMP do_gmp_get() { - CT_GetFile "${CT_GMP_FILE}" \ - http://ftp.sunet.se/pub/gnu/gmp \ - ftp://ftp.gnu.org/gnu/gmp + CT_GetFile "${CT_GMP_FILE}" {ftp,http}://{ftp.sunet.se/pub,ftp.gnu.org}/gnu/gmp } # Extract GMP |