This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] Come up with Deprecated option flag.
On 06/11/2018 09:33 PM, Paul Koning wrote:
>
>
>> On Jun 8, 2018, at 7:09 AM, Martin Liška <mliska@suse.cz> wrote:
>>
>> Hi.
>>
>> First follow-up MPX removal patch comes up with Deprecated option flag.
>> That prints warning for options that have no effect:
>
> Should this be mentioned in the internals manual (section 8.2)?
>
> paul
>
Thanks for noticing that.
Done and installed as r261497.
Martin