diff options
| author | Joseph Myers <joseph@codesourcery.com> | 2017-09-04 15:34:58 +0000 |
|---|---|---|
| committer | Joseph Myers <joseph@codesourcery.com> | 2017-09-04 15:34:58 +0000 |
| commit | 059b64046e2ca4e55d28a65ef7235da8eeb525ea (patch) | |
| tree | 449c0529ede7a23df6e06d1b82e31bf109ca7625 /scripts | |
| parent | 6547ec0ad8451d72e43ba4ea38c2300c67eb501a (diff) | |
Use Linux 4.13 in build-many-glibcs.py.
* scripts/build-many-glibcs.py (Context.checkout): Default Linux
kernel version to 4.13.
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 5fbb564a14..4c3ac257a4 100755 --- a/scripts/build-many-glibcs.py +++ b/scripts/build-many-glibcs.py @@ -686,7 +686,7 @@ class Context(object): 'gcc': 'vcs-7', 'glibc': 'vcs-mainline', 'gmp': '6.1.2', - 'linux': '4.12', + 'linux': '4.13', 'mpc': '1.0.3', 'mpfr': '3.1.5'} use_versions = {} |