summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJoseph Myers <joseph@codesourcery.com>2017-11-15 17:10:03 +0000
committerJoseph Myers <joseph@codesourcery.com>2017-11-15 17:10:03 +0000
commitd0212d429da889345978546f215ce62a5f0e007a (patch)
tree0810c6160dbf863c6654445f72a488ce55aa3acf
parent2180fee114b778515b3f560e5ff1e795282e60b0 (diff)
Use Linux 4.14 in build-many-glibcs.py.
* scripts/build-many-glibcs.py (Context.checkout): Default Linux kernel version to 4.14.
-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 e10db6016d..b63fa4f77f 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2017-11-15 Joseph Myers <joseph@codesourcery.com>
+
+ * scripts/build-many-glibcs.py (Context.checkout): Default Linux
+ kernel version to 4.14.
+
2017-11-15 Steve Ellcey <sellcey@cavium.com>
[BZ #22442]
diff --git a/scripts/build-many-glibcs.py b/scripts/build-many-glibcs.py
index 3dd1104b76..0a18531958 100755
--- a/scripts/build-many-glibcs.py
+++ b/scripts/build-many-glibcs.py
@@ -691,7 +691,7 @@ class Context(object):
'gcc': 'vcs-7',
'glibc': 'vcs-mainline',
'gmp': '6.1.2',
- 'linux': '4.13',
+ 'linux': '4.14',
'mpc': '1.0.3',
'mpfr': '3.1.6'}
use_versions = {}