diff -r c310ff1d697f -r 92f6149c4275 scripts/build/gmp.sh
--- a/scripts/build/gmp.sh	Wed Apr 30 16:38:06 2008 +0000
+++ b/scripts/build/gmp.sh	Sat May 03 17:51:16 2008 +0000
@@ -10,9 +10,7 @@
 
 # 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