Use MPFR 4.0.2 in build-many-glibcs.py.
authorJoseph Myers <joseph@codesourcery.com>
Fri, 1 Feb 2019 00:11:37 +0000 (00:11 +0000)
committerJoseph Myers <joseph@codesourcery.com>
Fri, 1 Feb 2019 00:11:37 +0000 (00:11 +0000)
commit932329a5134665bfad601a8709da2602d943fc38
tree6adf14e8e89d3e82a33f6e108f685946b2c900ab
parent5f10701fdc7a4708101f7931c15b7146c4f06690
Use MPFR 4.0.2 in build-many-glibcs.py.

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