diff -r ab441b3f8ea1 -r 0ca0f85a4b2a scripts/build/companion_libs/gmp.sh
--- a/scripts/build/companion_libs/gmp.sh	Sun Mar 20 01:04:22 2011 +0100
+++ b/scripts/build/companion_libs/gmp.sh	Wed Apr 06 22:30:57 2011 +0200
@@ -21,8 +21,6 @@
 }
 
 do_gmp() {
-    local -a gmp_opts
-
     mkdir -p "${CT_BUILD_DIR}/build-gmp"
     cd "${CT_BUILD_DIR}/build-gmp"
 
@@ -30,12 +28,6 @@
 
     CT_DoLog EXTRA "Configuring GMP"
 
-    if [ "${CT_COMPLIBS_SHARED}" = "y" ]; then
-        gmp_opts+=( --enable-shared --disable-static )
-    else
-        gmp_opts+=( --disable-shared --enable-static )
-    fi
-
     CT_DoExecLog CFG                                \
     CFLAGS="${CT_CFLAGS_FOR_HOST} -fexceptions"     \
     "${CT_SRC_DIR}/gmp-${CT_GMP_VERSION}/configure" \
@@ -45,7 +37,8 @@
         --enable-fft                                \
         --enable-mpbsd                              \
         --enable-cxx                                \
-        "${gmp_opts[@]}"
+        --disable-shared                            \
+        --enable-static
 
     CT_DoLog EXTRA "Building GMP"
     CT_DoExecLog ALL make ${JOBSFLAGS}