[Bug bootstrap/56259] GCC's configure script has a hard-coded setting of 'with_gmp' for FreeBSD

[rguenth at gcc dot gnu.org]

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



Richard Biener <rguenth at gcc dot gnu.org> changed:



           What    |Removed                     |Added

----------------------------------------------------------------------------

             Status|UNCONFIRMED                 |NEW

   Last reconfirmed|                            |2013-02-10

                 CC|                            |ljrittle at acm dot org

               Host|                            |*-*-freebsd*

            Version|unknown                     |4.7.2

     Ever Confirmed|0                           |1

      Known to fail|                            |4.6.2, 4.7.2, 4.8.0



--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> 2013-02-10 
12:24:48 UTC ---

Confirmed.  This should be removed.