diff options
-rw-r--r-- | ChangeLog | 5 | ||||
-rwxr-xr-x | scripts/build-many-glibcs.py | 2 |
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 = {} |