diff options
author | Joseph Myers <joseph@codesourcery.com> | 2018-08-13 16:46:13 +0000 |
---|---|---|
committer | Joseph Myers <joseph@codesourcery.com> | 2018-08-13 16:46:13 +0000 |
commit | f3cd0904a452f6a831cd15564077d0f883031659 (patch) | |
tree | e6a6a830ef2e47acb7239788270c04f58780fe53 /manual | |
parent | b7b52b9dec337a08a89bc67638773be652eba332 (diff) | |
download | glibc-f3cd0904a452f6a831cd15564077d0f883031659.zip glibc-f3cd0904a452f6a831cd15564077d0f883031659.tar.gz glibc-f3cd0904a452f6a831cd15564077d0f883031659.tar.bz2 |
Use Linux 4.18 in build-many-glibcs.py.
* scripts/build-many-glibcs.py (Context.checkout): Default Linux
version to 4.18.
Diffstat (limited to 'manual')
0 files changed, 0 insertions, 0 deletions