diff options
author | Alexey Neyman <stilor@att.net> | 2018-02-02 06:16:05 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-02-02 06:16:05 (GMT) |
commit | fd9fe523b22cb6281f26081232a3f8f3aee7fda1 (patch) | |
tree | 9851733e0973e1de900d7f932e5b88fe637441f3 /config/comp_libs/gmp.in | |
parent | ba165ed4c0bfa8a83e61a2efd1ad205777978486 (diff) | |
parent | 36bb675a71cc66a2abd69bc82d613f2153d3791f (diff) |
Merge pull request #904 from stilor/upgrade
A bunch of upgrades
Diffstat (limited to 'config/comp_libs/gmp.in')
-rw-r--r-- | config/comp_libs/gmp.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/comp_libs/gmp.in b/config/comp_libs/gmp.in index 9c7daf0..7270244 100644 --- a/config/comp_libs/gmp.in +++ b/config/comp_libs/gmp.in @@ -2,4 +2,4 @@ config GMP_HAS_MPBSD bool - default y if !GMP_5_1_or_later + default y if !GMP_5_1_0_or_later |