diff options
| author | Joseph Myers <joseph@codesourcery.com> | 2017-09-07 14:50:32 +0000 |
|---|---|---|
| committer | Joseph Myers <joseph@codesourcery.com> | 2017-09-07 14:50:32 +0000 |
| commit | 85bec0f2a03bc0a1623b69622005ea4af9331395 (patch) | |
| tree | 338dac6402a5971d97464bb58034672ed975e6f4 /scripts/build-many-glibcs.py | |
| parent | 5c23ee6eb8aad96e2761b8478a61e28faebfb9f0 (diff) | |
Use MPFR 3.1.6 in build-many-glibcs.py.
* scripts/build-many-glibcs.py (Context.checkout): Default MPFR
version to 3.1.6.
Diffstat (limited to 'scripts/build-many-glibcs.py')
| -rwxr-xr-x | scripts/build-many-glibcs.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/build-many-glibcs.py b/scripts/build-many-glibcs.py index 4c3ac257a4..8ce1c6f7f9 100755 --- a/scripts/build-many-glibcs.py +++ b/scripts/build-many-glibcs.py @@ -688,7 +688,7 @@ class Context(object): 'gmp': '6.1.2', 'linux': '4.13', 'mpc': '1.0.3', - 'mpfr': '3.1.5'} + 'mpfr': '3.1.6'} use_versions = {} explicit_versions = {} for v in versions: |