From d0212d429da889345978546f215ce62a5f0e007a Mon Sep 17 00:00:00 2001
From: Joseph Myers <joseph@codesourcery.com>
Date: Wed, 15 Nov 2017 17:10:03 +0000
Subject: [PATCH] Use Linux 4.14 in build-many-glibcs.py.

	* scripts/build-many-glibcs.py (Context.checkout): Default Linux
	kernel version to 4.14.
---
 ChangeLog                    | 5 +++++
 scripts/build-many-glibcs.py | 2 +-
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index e10db60..b63fa4f 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 3dd1104..0a18531 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 = {}
-- 
2.7.4