[PATCH] plugins: Allow plugins to handle global_options changes

[Joseph Myers]

On Wed, 18 Nov 2020, Jakub Jelinek via Gcc-patches wrote:

> On Wed, Nov 18, 2020 at 10:39:46AM +0100, Richard Biener wrote:
> > We already have --{enable,disable}-plugin, so could remove it when
> > those are not enabled.
> 
> Here is a variant that does that:
> 
> 2020-11-18  Jakub Jelinek  <jakub@redhat.com>
> 
> 	* opts.h (struct cl_var): New type.
> 	(cl_vars): Declare.
> 	* optc-gen.awk: Generate cl_vars array.

This version is OK.

-- 
Joseph S. Myers
joseph@codesourcery.com