diff options
| author | Joseph Myers <joseph@codesourcery.com> | 2018-01-29 13:38:21 +0000 |
|---|---|---|
| committer | Joseph Myers <joseph@codesourcery.com> | 2018-01-29 13:38:21 +0000 |
| commit | 522623e4aaea1da007b6fe0c7c6e880ba1c971ee (patch) | |
| tree | 1b4ee5d1019dfd9452e74491da03ccec6db5bee5 /scripts | |
| parent | 8b406f8776d84d6697bca7d1da7bbfae6cfb8f85 (diff) | |
Use Linux 4.15 in build-many-glibcs.py.
This patch makes build-many-glibcs.py use Linux 4.15. Other glibc
updates for Linux 4.15 can wait until after the 2.27 release.
* scripts/build-many-glibcs.py (Context.checkout): Default Linux
version to 4.15.
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/build-many-glibcs.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/build-many-glibcs.py b/scripts/build-many-glibcs.py index 43b573e371..dad51a5bee 100755 --- a/scripts/build-many-glibcs.py +++ b/scripts/build-many-glibcs.py @@ -701,7 +701,7 @@ class Context(object): 'gcc': 'vcs-7', 'glibc': 'vcs-mainline', 'gmp': '6.1.2', - 'linux': '4.14', + 'linux': '4.15', 'mpc': '1.1.0', 'mpfr': '4.0.0', 'mig': 'vcs-mainline', |