http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41844
Richard Guenther <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jsm28 at gcc dot gnu.org,
| |rguenth at gcc dot gnu.org
--- Comment #4 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-08-16
08:26:24 UTC ---
It should be possible now(?) to filter all frontend options from
COLLECT_GCC_OPTIONS. Joseph, is the option merging progressed far enough?
