From 01047fa6d066fdfe44d36042fe9bd033bda64d70 Mon Sep 17 00:00:00 2001 From: Joseph Myers Date: Mon, 31 Dec 2018 13:07:21 +0000 Subject: [PATCH] Use Linux 4.20 in build-many-glibcs.py. * scripts/build-many-glibcs.py (Context.checkout): Default Linux version to 4.20. --- ChangeLog | 5 +++++ scripts/build-many-glibcs.py | 2 +- 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index a2170167c7..711ecda8ed 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2018-12-31 Joseph Myers + + * scripts/build-many-glibcs.py (Context.checkout): Default Linux + version to 4.20. + 2018-12-28 Justus Winter <4winter@informatik.uni-hamburg.de> * hurd/lookup-retry: Include . diff --git a/scripts/build-many-glibcs.py b/scripts/build-many-glibcs.py index caba0062a6..0ad2335ec7 100755 --- a/scripts/build-many-glibcs.py +++ b/scripts/build-many-glibcs.py @@ -714,7 +714,7 @@ class Context(object): 'gcc': 'vcs-8', 'glibc': 'vcs-mainline', 'gmp': '6.1.2', - 'linux': '4.19', + 'linux': '4.20', 'mpc': '1.1.0', 'mpfr': '4.0.1', 'mig': 'vcs-mainline',