http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47249
--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-01-16 13:51:32 UTC --- Created attachment 26340 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=26340 gcc47-pr47249-2.patch Or this one (or something else)? Having driver display_help use *.opt stuff is probably beyond stage4 material.