|
--- configure.orig 2012-07-01 17:01:26.754771029 +0200
|
|
+++ configure 2012-07-01 17:02:05.402843729 +0200
|
|
@@ -5690,7 +5690,7 @@ int
|
|
main ()
|
|
{
|
|
|
|
- #if PPL_VERSION_MAJOR != 0 || PPL_VERSION_MINOR < 11
|
|
+ #if PPL_VERSION_MAJOR > 2 || PPL_VERSION_MINOR > 20
|
|
choke me
|
|
#endif
|
|
|