ppl: silence ./configure warnings

closes #2490
This commit is contained in:
Stefan Saraev 2013-07-23 21:08:43 +03:00
parent 2a82fec008
commit 9875d12e5f

View File

@ -35,7 +35,7 @@ mkdir -p objdir && cd objdir
--enable-shared \ --enable-shared \
--disable-static \ --disable-static \
--enable-interfaces="c,cxx" \ --enable-interfaces="c,cxx" \
--with-gmp-prefix="$ROOT/$TOOLCHAIN" \ --with-gmp="$ROOT/$TOOLCHAIN" \
make -j1 make -j1
make install make install