Use Linux 4.13 in build-many-glibcs.py.

	* scripts/build-many-glibcs.py (Context.checkout): Default Linux
	kernel version to 4.13.

diff --git a/ChangeLog b/ChangeLog
index f2e61b7ffdced439ac944fc8bdca95bf285985ce..ef4a6edc5ea30dfc8a428e0536910e89ffcc053f 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2017-09-04  Joseph Myers  <joseph@codesourcery.com>
+
+       * scripts/build-many-glibcs.py (Context.checkout): Default Linux
+       kernel version to 4.13.
+
 2017-09-03  Samuel Thibault  <samuel.thibault@ens-lyon.org>
 
        * sysdeps/generic/sigsetops.h: Remove spurious #endif.

diff --git a/scripts/build-many-glibcs.py b/scripts/build-many-glibcs.py
index 5fbb564a1430abfd809a4e3778b5bdebf3df2cb8..4c3ac257a498bd70b05061c5c2bb3ed37acef785 100755 (executable)
--- 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 = {}