Use Linux 4.13 in build-many-glibcs.py.
authorJoseph Myers <joseph@codesourcery.com>
Mon, 4 Sep 2017 15:34:58 +0000 (15:34 +0000)
committerJoseph Myers <joseph@codesourcery.com>
Mon, 4 Sep 2017 15:34:58 +0000 (15:34 +0000)
commit059b64046e2ca4e55d28a65ef7235da8eeb525ea
tree449c0529ede7a23df6e06d1b82e31bf109ca7625
parent6547ec0ad8451d72e43ba4ea38c2300c67eb501a
Use Linux 4.13 in build-many-glibcs.py.

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