diff options
| author | Joseph Myers <joseph@codesourcery.com> | 2018-10-22 16:49:37 +0000 |
|---|---|---|
| committer | Joseph Myers <joseph@codesourcery.com> | 2018-10-22 16:49:37 +0000 |
| commit | 8190520f2a518bec6e6d54d27ed6b6d985cacb59 (patch) | |
| tree | 7f5c2e0d304aee5e1db2ae46dc6c158369a4bec1 | |
| parent | be8ff03f92df08055ac5f15f1b65b24026a683a5 (diff) | |
| download | glibc-8190520f2a518bec6e6d54d27ed6b6d985cacb59.tar.gz glibc-8190520f2a518bec6e6d54d27ed6b6d985cacb59.tar.xz glibc-8190520f2a518bec6e6d54d27ed6b6d985cacb59.zip | |
Use Linux 4.19 in build-many-glibcs.py.
* scripts/build-many-glibcs.py (Context.checkout): Default Linux version to 4.19.
| -rw-r--r-- | ChangeLog | 3 | ||||
| -rwxr-xr-x | scripts/build-many-glibcs.py | 2 |
2 files changed, 4 insertions, 1 deletions
diff --git a/ChangeLog b/ChangeLog index 073d034c40..c3947f0cf3 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,8 @@ 2018-10-22 Joseph Myers <joseph@codesourcery.com> + * scripts/build-many-glibcs.py (Context.checkout): Default Linux + version to 4.19. + [BZ #23793] * wcsmbs/c32rtomb.c: New file. * wcsmbs/mbrtoc32.c: Likewise. diff --git a/scripts/build-many-glibcs.py b/scripts/build-many-glibcs.py index 61f98651c6..3f288e0e0b 100755 --- a/scripts/build-many-glibcs.py +++ b/scripts/build-many-glibcs.py @@ -718,7 +718,7 @@ class Context(object): 'gcc': 'vcs-8', 'glibc': 'vcs-mainline', 'gmp': '6.1.2', - 'linux': '4.18', + 'linux': '4.19', 'mpc': '1.1.0', 'mpfr': '4.0.1', 'mig': 'vcs-mainline', |