1.1 --- a/scripts/build/companion_libs/ppl.sh	Thu May 19 23:05:32 2011 +0200
     1.2 +++ b/scripts/build/companion_libs/ppl.sh	Thu May 19 23:05:58 2011 +0200
     1.3 @@ -42,7 +42,6 @@
     1.4          --with-libgmp-prefix="${CT_COMPLIBS_DIR}"   \
     1.5          --with-libgmpxx-prefix="${CT_COMPLIBS_DIR}" \
     1.6          --with-gmp-prefix="${CT_COMPLIBS_DIR}"      \
     1.7 -        --enable-cxx                                \
     1.8          --enable-watchdog                           \
     1.9          --disable-debugging                         \
    1.10          --disable-assertions                        \