http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44341
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jakub at gcc dot gnu.org
--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> 2010-12-21
10:43:02 UTC ---
I guess either the libjava/classpath/configure* option should be renamed, e.g.
to --with-target-gmp*, or libjava/configure* shouldn't pass --with-gmp* down to
classpath configure, but instead should pass --with-target-gmp* as --with-gmp*
to classpath configure.
