http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51368
Jonathan Wakely <redi at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |bkoz at gcc dot gnu.org, | |tromey at gcc dot gnu.org --- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> 2011-12-03 00:49:44 UTC --- Yes, it would be sensible to make the same option work for both. Tom, Benjamin, any objections to this? I can try to look into it, but it probably won't be soon.