Re: [PATCH opt*.awk/middle-end] Detect wrong arguments to EnabledBy

2015-08-09 Thread Manuel López-Ibáñez
On 9 August 2015 at 16:29, Joseph Myers wrote: > On Sat, 8 Aug 2015, Manuel López-Ibáñez wrote: > >> The argument to EnabledBy() must be one or more options with the >> Common flag, otherwise the setting is silently ignored. This patch >> detects this case when generating the options.c file and gi

Re: [PATCH opt*.awk/middle-end] Detect wrong arguments to EnabledBy

2015-08-09 Thread Joseph Myers
On Sat, 8 Aug 2015, Manuel López-Ibáñez wrote: > The argument to EnabledBy() must be one or more options with the > Common flag, otherwise the setting is silently ignored. This patch > detects this case when generating the options.c file and gives an > appropriate error. There were two options suf