diff -r 13ea34c908fa -r 0ca0f85a4b2a scripts/build/companion_libs/ppl.sh
--- a/scripts/build/companion_libs/ppl.sh	Sun Mar 27 00:07:59 2011 +0100
+++ b/scripts/build/companion_libs/ppl.sh	Wed Apr 06 22:30:57 2011 +0200
@@ -24,8 +24,6 @@
 }
 
 do_ppl() {
-    local -a ppl_opts
-
     mkdir -p "${CT_BUILD_DIR}/build-ppl"
     cd "${CT_BUILD_DIR}/build-ppl"
 
@@ -33,11 +31,6 @@
 
     CT_DoLog EXTRA "Configuring PPL"
 
-    if [ "${CT_COMPLIBS_SHARED}" = "y" ]; then
-        ppl_opts+=( --enable-shared --disable-static )
-    else
-        ppl_opts+=( --disable-shared --enable-static )
-    fi
 
     CT_DoExecLog CFG                                \
     CFLAGS="${CT_CFLAGS_FOR_HOST}"                  \
@@ -54,7 +47,8 @@
         --disable-assertions                        \
         --disable-ppl_lcdd                          \
         --disable-ppl_lpsol                         \
-        "${ppl_opts[@]}"
+        --disable-shared                            \
+        --enable-static
 
     # Maybe-options:
     # --enable-interfaces=...