changeset 1891 | 2f0de10c058d |
parent 1890 | 39045a2f1163 |
child 1892 | af092b4bf65c |
1.1 --- a/scripts/build/companion_libs/ppl.sh Sat Apr 10 23:42:28 2010 +0200 1.2 +++ b/scripts/build/companion_libs/ppl.sh Sat Apr 10 23:43:08 2010 +0200 1.3 @@ -40,8 +40,8 @@ 1.4 --prefix="${CT_PREFIX_DIR}" \ 1.5 --with-libgmp-prefix="${CT_PREFIX_DIR}" \ 1.6 --with-libgmpxx-prefix="${CT_PREFIX_DIR}" \ 1.7 - --enable-shared \ 1.8 - --disable-static \ 1.9 + --disable-shared \ 1.10 + --enable-static \ 1.11 --disable-debugging \ 1.12 --disable-assertions \ 1.13 --disable-ppl_lcdd \