diff options
| author | Joseph Myers <joseph@codesourcery.com> | 2018-02-07 17:38:13 +0000 |
|---|---|---|
| committer | Joseph Myers <joseph@codesourcery.com> | 2018-02-07 17:38:13 +0000 |
| commit | d80441dde6ec7993f11c18f20de7e76d454a209e (patch) | |
| tree | 161a9ecdf63b6169e809b3989b02c4e26c6b3413 /scripts/update-copyrights | |
| parent | 63fb8f9aa9d19f85599afe4b849b567aefd70a36 (diff) | |
| download | glibc-d80441dde6ec7993f11c18f20de7e76d454a209e.tar.gz glibc-d80441dde6ec7993f11c18f20de7e76d454a209e.tar.xz glibc-d80441dde6ec7993f11c18f20de7e76d454a209e.zip | |
Use MPFR 4.0.1 in build-many-glibcs.py.
* scripts/build-many-glibcs.py (Context.checkout): Default MPFR version to 4.0.1.
Diffstat (limited to 'scripts/update-copyrights')
0 files changed, 0 insertions, 0 deletions