[Bug bootstrap/81397] mistakes in .opt files not detected

[marxin at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81397

--- Comment #5 from Martin Liška <marxin at gcc dot gnu.org> ---
(In reply to Eric Gallager from comment #4)
> (In reply to Martin Liška from comment #3)
> > As we're staying with Awk, for now I'm planning to work on that.
> 
> Missing the word "not" in there?

Yes, I was writing faster that thinking :)