diff options
author | Joseph Myers <joseph@codesourcery.com> | 2019-02-01 00:11:37 +0000 |
---|---|---|
committer | Joseph Myers <joseph@codesourcery.com> | 2019-02-01 00:11:37 +0000 |
commit | 932329a5134665bfad601a8709da2602d943fc38 (patch) | |
tree | 6adf14e8e89d3e82a33f6e108f685946b2c900ab /scripts | |
parent | 5f10701fdc7a4708101f7931c15b7146c4f06690 (diff) | |
download | glibc-932329a5134665bfad601a8709da2602d943fc38.tar.gz |
Use MPFR 4.0.2 in build-many-glibcs.py.
* scripts/build-many-glibcs.py (Context.checkout): Default MPFR
version to 4.0.2.
Diffstat (limited to 'scripts')
-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 025876486a..54b84728e5 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'} |