On Fri, Jun 08, 2012 at 02:45:09PM -0400, Jason Merrill wrote: > On 06/01/2012 01:58 PM, Sterling Augustine wrote: > >It also adds and documents a new option "-g[no-]pubtypes" which allows users > >to generate pubtypes even if the target disables them by default. > > Hmm, I thought the convention for this sort of flag was to start > with -f, that -g flags were only for selecting the type and level of > debug info. But I see that there are other debug dialect switches > that use -g, so I guess this is OK.
But we have -f{,no-}debug-types-section, so perhaps consistent with that would be -f{,no-}debug-pubtypes-section ? Jakub