diff -r 7175fe0a6318 -r 0ca0f85a4b2a scripts/build/companion_libs/mpfr.sh
--- a/scripts/build/companion_libs/mpfr.sh	Sun Mar 20 01:05:15 2011 +0100
+++ b/scripts/build/companion_libs/mpfr.sh	Wed Apr 06 22:30:57 2011 +0200
@@ -64,8 +64,6 @@
 }
 
 do_mpfr() {
-    local -a mpfr_opts
-
     mkdir -p "${CT_BUILD_DIR}/build-mpfr"
     cd "${CT_BUILD_DIR}/build-mpfr"
 
@@ -79,11 +77,6 @@
         *)          mpfr_opts+=( --enable-thread-safe  );;
     esac
 
-    if [ "${CT_COMPLIBS_SHARED}" = "y" ]; then
-        mpfr_opts+=( --enable-shared --disable-static )
-    else
-        mpfr_opts+=( --disable-shared --enable-static )
-    fi
 
     CT_DoLog EXTRA "Configuring MPFR"
     CT_DoExecLog CFG                                    \
@@ -94,7 +87,8 @@
         --host=${CT_HOST}                               \
         --prefix="${CT_COMPLIBS_DIR}"                   \
         --with-gmp="${CT_COMPLIBS_DIR}"                 \
-        "${mpfr_opts[@]}"
+        --disable-shared                                \
+        --enable-static
 
     CT_DoLog EXTRA "Building MPFR"
     CT_DoExecLog ALL make ${JOBSFLAGS}