diff options
| author | dnovillo <dnovillo@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-09-06 18:14:58 +0000 |
|---|---|---|
| committer | dnovillo <dnovillo@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-09-06 18:14:58 +0000 |
| commit | f819bb7398c28c88bd12f95589ebae74d837cad4 (patch) | |
| tree | c4ae693b496fc24bc76b08954ddbb4db3f2c49e2 /configure | |
| parent | 0438d37f65201eb75267220a7fa2c603c1fd7def (diff) | |
* configure.ac: Bump minimum GMP version to 4.2.3.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@191037 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure index 8272ed05b28..a5df0c8672f 100755 --- a/configure +++ b/configure @@ -5318,7 +5318,7 @@ main () #define GCC_GMP_VERSION_NUM(a,b,c) (((a) << 16L) | ((b) << 8) | (c)) #define GCC_GMP_VERSION GCC_GMP_VERSION_NUM(__GNU_MP_VERSION,__GNU_MP_VERSION_MINOR,__GNU_MP_VERSION_PATCHLEVEL) - #if GCC_GMP_VERSION < GCC_GMP_VERSION_NUM(4,2,0) + #if GCC_GMP_VERSION < GCC_GMP_VERSION_NUM(4,2,3) choke me #endif |