aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--ChangeLog5
-rwxr-xr-xscripts/build-many-glibcs.py2
2 files changed, 6 insertions, 1 deletions
diff --git a/ChangeLog b/ChangeLog
index 41e870c..56bdeea 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2018-02-07 Joseph Myers <joseph@codesourcery.com>
+
+ * scripts/build-many-glibcs.py (Context.checkout): Default MPFR
+ version to 4.0.1.
+
2018-02-07 Zack Weinberg <zackw@panix.com>
* bits/_G_config.h: Move back to sysdeps/generic/_G_config.h.
diff --git a/scripts/build-many-glibcs.py b/scripts/build-many-glibcs.py
index 5be9b79..09c3c7c 100755
--- a/scripts/build-many-glibcs.py
+++ b/scripts/build-many-glibcs.py
@@ -718,7 +718,7 @@ class Context(object):
'gmp': '6.1.2',
'linux': '4.15',
'mpc': '1.1.0',
- 'mpfr': '4.0.0',
+ 'mpfr': '4.0.1',
'mig': 'vcs-mainline',
'gnumach': 'vcs-mainline',
'hurd': 'vcs-mainline'}