diff options
| author | Joseph Myers <joseph@codesourcery.com> | 2018-04-03 15:41:08 +0000 |
|---|---|---|
| committer | Joseph Myers <joseph@codesourcery.com> | 2018-04-03 15:41:08 +0000 |
| commit | f72aa11d7e3008d608e1092abade16101fed8f35 (patch) | |
| tree | 102a85effc2cb87c2b02778f10ebd4b81b0bf1d6 /scripts | |
| parent | 8e4754ed7ed60e3243ce83eee14bdcc7b88b73d1 (diff) | |
Use Linux 4.16 in build-many-glibcs.py.
* scripts/build-many-glibcs.py (Context.checkout): Default Linux
version to 4.16.
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 09c3c7c576..79b1cd27e7 100755 --- a/scripts/build-many-glibcs.py +++ b/scripts/build-many-glibcs.py @@ -716,7 +716,7 @@ class Context(object): 'gcc': 'vcs-7', 'glibc': 'vcs-mainline', 'gmp': '6.1.2', - 'linux': '4.15', + 'linux': '4.16', 'mpc': '1.1.0', 'mpfr': '4.0.1', 'mig': 'vcs-mainline', |