Makefile.def (module=gmp): Work around in-tree gmp configure bug with missing flex.
authorBernd Edlinger <bernd.edlinger@hotmail.de>
Mon, 24 Nov 2014 16:55:01 +0000 (16:55 +0000)
committerBernd Edlinger <edlinger@gcc.gnu.org>
Mon, 24 Nov 2014 16:55:01 +0000 (16:55 +0000)
commitea903c37300bdafd4592f0e979cfede05aaf258e
treefae0ddc50f4e5b01109239d05b6387c9b16c7913
parentd142079af3ebd7e1d940a87c251d16bd794e8f78
Makefile.def (module=gmp): Work around in-tree gmp configure bug with missing flex.

2014-11-24  Bernd Edlinger  <bernd.edlinger@hotmail.de>

        * Makefile.def (module=gmp): Work around in-tree gmp configure bug with
        missing flex.
        * Makefile.in: Regenerated.

From-SVN: r218025
ChangeLog
Makefile.def
Makefile.in