On Wed, 30 Mar 2022, Thomas Schwinge wrote: > > --- gcc/optc-gen.awk (revision 187427) > > +++ gcc/optc-gen.awk (working copy) > > > else if (help[i] != "" && help[i + 1] != help[i]) > > - print "warning: multiple different help strings for " > > \ > > - opts[i] ":\n\t" help[i] "\n\t" help[i + 1] \ > > - | "cat 1>&2" > > + print "#error Multiple different help strings for " \ > > + opts[i] ":\n\t" help[i] "\n\t" help[i + 1] > > + > > OK to push the attached 'options: Fix "Multiple different help strings" > error diagnostic'?
OK. -- Joseph S. Myers jos...@codesourcery.com
