diff options
author | Joseph Myers <joseph@codesourcery.com> | 2018-12-31 13:07:21 +0000 |
---|---|---|
committer | Joseph Myers <joseph@codesourcery.com> | 2018-12-31 13:07:21 +0000 |
commit | 01047fa6d066fdfe44d36042fe9bd033bda64d70 (patch) | |
tree | 056b25bdaac6ca931f97539f6debb8d18d6b6c13 /scripts | |
parent | 065957a3704fd4d900a9d82cbee3c5006ed4d9c9 (diff) | |
download | glibc-01047fa6d066fdfe44d36042fe9bd033bda64d70.tar.gz |
Use Linux 4.20 in build-many-glibcs.py.
* scripts/build-many-glibcs.py (Context.checkout): Default Linux
version to 4.20.
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 caba0062a6..0ad2335ec7 100755 --- a/scripts/build-many-glibcs.py +++ b/scripts/build-many-glibcs.py @@ -714,7 +714,7 @@ class Context(object): 'gcc': 'vcs-8', 'glibc': 'vcs-mainline', 'gmp': '6.1.2', - 'linux': '4.19', + 'linux': '4.20', 'mpc': '1.1.0', 'mpfr': '4.0.1', 'mig': 'vcs-mainline', |