summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--scripts/build/companion_libs/ppl.sh2
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/build/companion_libs/ppl.sh b/scripts/build/companion_libs/ppl.sh
index e4fb32b..3324400 100644
--- a/scripts/build/companion_libs/ppl.sh
+++ b/scripts/build/companion_libs/ppl.sh
@@ -48,6 +48,8 @@ do_ppl() {
--prefix="${CT_COMPLIBS_DIR}" \
--with-libgmp-prefix="${CT_COMPLIBS_DIR}" \
--with-libgmpxx-prefix="${CT_COMPLIBS_DIR}" \
+ --enable-cxx \
+ --enable-watchdog \
--disable-debugging \
--disable-assertions \
--disable-ppl_lcdd \