[PATCH] Record that -gtoggle is already used in gcc_options.

[Martin Liška]

On 11/5/21 11:23, Richard Biener wrote:
> OK if you add a comment like
> 
>   /* Make sure to process -gtoggle only once.  */

Sure, added and installed as 14c7041a1f00ef4ee9a036e0b369c97646db5b5c.

Cheers,
Martin