diff options
author | Joseph Myers <joseph@codesourcery.com> | 2018-04-03 15:41:08 +0000 |
---|---|---|
committer | Joseph Myers <joseph@codesourcery.com> | 2018-04-03 15:41:08 +0000 |
commit | f72aa11d7e3008d608e1092abade16101fed8f35 (patch) | |
tree | 102a85effc2cb87c2b02778f10ebd4b81b0bf1d6 /sysdeps/ieee754 | |
parent | 8e4754ed7ed60e3243ce83eee14bdcc7b88b73d1 (diff) |
Use Linux 4.16 in build-many-glibcs.py.
* scripts/build-many-glibcs.py (Context.checkout): Default Linux
version to 4.16.
Diffstat (limited to 'sysdeps/ieee754')
0 files changed, 0 insertions, 0 deletions