don't use PPL if not configured with --with-ppl
commit5ebb0de94ba2a3b37406cf3f335e4034981a54dc
authorSebastian Pop <seb@napoca.(none)>
Wed, 11 Jun 2008 13:06:08 +0000 (11 08:06 -0500)
committerSebastian Pop <seb@napoca.(none)>
Wed, 11 Jun 2008 13:06:08 +0000 (11 08:06 -0500)
tree172422f0d90a84e4aac946b785b193d9f6327ed7
parent219abbfda4e6f32ea6921987130f40ff64c5e267
don't use PPL if not configured with --with-ppl
configure.in