diff options
| -rw-r--r-- | ChangeLog | 3 | ||||
| -rwxr-xr-x | scripts/build-many-glibcs.py | 2 |
2 files changed, 1 insertions, 4 deletions
diff --git a/ChangeLog b/ChangeLog index 692af8e5c2..1ddb948fa8 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,8 +1,5 @@ 2019-05-07 Joseph Myers <joseph@codesourcery.com> - * scripts/build-many-glibcs.py (Context.checkout): Default Linux - version to 5.1. - * scripts/build-many-glibcs.py (Context.checkout): Default GCC version to 9 branch. diff --git a/scripts/build-many-glibcs.py b/scripts/build-many-glibcs.py index 5f7db23f26..6f9a35331f 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.1', + 'linux': '5.0', 'mpc': '1.1.0', 'mpfr': '4.0.2', 'mig': 'vcs-mainline', |