On 02/07/2016 07:30 AM, Joseph Myers wrote:
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.
Good point. In that case I think the patch is fine as-is. jeff
