diff options
| -rw-r--r-- | ChangeLog | 5 | ||||
| -rwxr-xr-x | scripts/build-many-glibcs.py | 2 |
2 files changed, 6 insertions, 1 deletions
@@ -1,3 +1,8 @@ +2019-02-01 Joseph Myers <joseph@codesourcery.com> + + * scripts/build-many-glibcs.py (Context.checkout): Default MPFR + version to 4.0.2. + 2019-01-31 Paul Pluzhnikov <ppluzhnikov@google.com> [BZ #24051] diff --git a/scripts/build-many-glibcs.py b/scripts/build-many-glibcs.py index 0258764..54b8472 100755 --- a/scripts/build-many-glibcs.py +++ b/scripts/build-many-glibcs.py @@ -716,7 +716,7 @@ class Context(object): 'gmp': '6.1.2', 'linux': '4.20', 'mpc': '1.1.0', - 'mpfr': '4.0.1', + 'mpfr': '4.0.2', 'mig': 'vcs-mainline', 'gnumach': 'vcs-mainline', 'hurd': 'vcs-mainline'} |