diff options
| author | Joseph Myers <joseph@codesourcery.com> | 2019-05-07 14:49:05 +0000 |
|---|---|---|
| committer | Joseph Myers <joseph@codesourcery.com> | 2019-05-07 14:49:05 +0000 |
| commit | c2b11710fb4a2e8d337ae8f042724143c5ccf173 (patch) | |
| tree | 58720313a91862de92c2d64c434cc58d2d9fea62 /scripts | |
| parent | c4a392cfd154130adaeaace8a067400adf91c9de (diff) | |
| download | glibc-c2b11710fb4a2e8d337ae8f042724143c5ccf173.tar.gz | |
Use Linux 5.1 in build-many-glibcs.py.
* scripts/build-many-glibcs.py (Context.checkout): Default Linux
version to 5.1.
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 6f9a35331f..5f7db23f26 100755 --- a/scripts/build-many-glibcs.py +++ b/scripts/build-many-glibcs.py @@ -714,7 +714,7 @@ class Context(object): 'gcc': 'vcs-9', 'glibc': 'vcs-mainline', 'gmp': '6.1.2', - 'linux': '5.0', + 'linux': '5.1', 'mpc': '1.1.0', 'mpfr': '4.0.2', 'mig': 'vcs-mainline', |