diff options
-rw-r--r-- | ChangeLog | 5 | ||||
-rwxr-xr-x | scripts/build-many-glibcs.py | 2 |
2 files changed, 6 insertions, 1 deletions
@@ -1,3 +1,8 @@ +2018-06-04 Joseph Myers <joseph@codesourcery.com> + + * scripts/build-many-glibcs.py (Context.checkout): Default Linux + version to 4.17 + 2018-06-02 Samuel Thibault <samuel.thibault@ens-lyon.org> * bits/shm.h (struct shmid_ds): Make shm_segsz field size_t instead of diff --git a/scripts/build-many-glibcs.py b/scripts/build-many-glibcs.py index 19411c1..601718d 100755 --- a/scripts/build-many-glibcs.py +++ b/scripts/build-many-glibcs.py @@ -709,7 +709,7 @@ class Context(object): 'gcc': 'vcs-8', 'glibc': 'vcs-mainline', 'gmp': '6.1.2', - 'linux': '4.16', + 'linux': '4.17', 'mpc': '1.1.0', 'mpfr': '4.0.1', 'mig': 'vcs-mainline', |