void-packages/srcpkgs/chroot-gcc/files/gcc-4.7.1-ppl-1.0.patch

12 lines
292 B
Diff

--- a/configure.orig 2012-07-01 17:01:26.754771029 +0200
+++ b/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