void-packages/srcpkgs/gcc/patches/gcc-4.7.1-ppl-1.0.patch

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