From 059b64046e2ca4e55d28a65ef7235da8eeb525ea Mon Sep 17 00:00:00 2001
From: Joseph Myers <joseph@codesourcery.com>
Date: Mon, 4 Sep 2017 15:34:58 +0000
Subject: Use Linux 4.13 in build-many-glibcs.py.

	* scripts/build-many-glibcs.py (Context.checkout): Default Linux
	kernel version to 4.13.
---
 scripts/build-many-glibcs.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'scripts')

diff --git a/scripts/build-many-glibcs.py b/scripts/build-many-glibcs.py
index 5fbb564a14..4c3ac257a4 100755
--- a/scripts/build-many-glibcs.py
+++ b/scripts/build-many-glibcs.py
@@ -686,7 +686,7 @@ class Context(object):
                             'gcc': 'vcs-7',
                             'glibc': 'vcs-mainline',
                             'gmp': '6.1.2',
-                            'linux': '4.12',
+                            'linux': '4.13',
                             'mpc': '1.0.3',
                             'mpfr': '3.1.5'}
         use_versions = {}
-- 
cgit v1.2.3