blob: cd2d32a8a31b497714f0ed4d8d2b1f666a9f697c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
Fix check for GCC version beyond major version 4.
Gentoo bug #569222
--- cdd+-077a/gmp_init.cc
+++ cdd+-077a/gmp_init.cc
@@ -31,7 +31,7 @@
# define pm_gmp_reallocate std::__alloc::reallocate
#endif // gcc 3.3
-#if __GNUC__==3 && __GNUC_MINOR__==4 || __GNUC__==4
+#if __GNUC__==3 && __GNUC_MINOR__==4 || __GNUC__>=4
# include <ext/pool_allocator.h>
namespace {
|
