Use Linux 5.1 in build-many-glibcs.py.
commitc2b11710fb4a2e8d337ae8f042724143c5ccf173
authorJoseph Myers <joseph@codesourcery.com>
Tue, 7 May 2019 14:49:05 +0000 (7 14:49 +0000)
committerJoseph Myers <joseph@codesourcery.com>
Tue, 7 May 2019 14:49:05 +0000 (7 14:49 +0000)
tree58720313a91862de92c2d64c434cc58d2d9fea62
parentc4a392cfd154130adaeaace8a067400adf91c9de
Use Linux 5.1 in build-many-glibcs.py.

* scripts/build-many-glibcs.py (Context.checkout): Default Linux
version to 5.1.
ChangeLog
scripts/build-many-glibcs.py