12 lines
288 B
Diff
12 lines
288 B
Diff
|
--- 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
|
||
|
|