blob: 94018d6da2a6da53b5776454bf245b124467162f (
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
--- a/gmp_init.cc
+++ b/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 {
|
