On Fri, 5 Feb 2016, Jeff Law wrote: > Shouldn't c-opt.def be changed to note the option is deprecated and ignored > rather than totally removing it?
No. That's appropriate with optimization options which can safely be ignored, not with options such as this that have an incompatible effect on ABI or API. -- Joseph S. Myers jos...@codesourcery.com
