[Bug bootstrap/50461] mpfr.h found in mpfr-3.1.0/src instead of mpfr-3.0.1/. as previously

[redi at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50461



--- Comment #14 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-10-08 
12:21:53 UTC ---

Because 2.4.2 has received the most testing and is known to work and to be

sufficient for GCC's needs.