http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49077
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> 2011-05-20
11:00:28 UTC ---
gcjwebplugin is dead, it should have been removed, but nobody has done that.
Just don't enable it in configure.
