diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2020-06-10 07:35:47 +0200 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2020-06-10 07:53:44 +0200 |
commit | d2acc4b4014ad7447c29ce56095f28d22ed12978 (patch) | |
tree | 624d319e64cb7d8e5b8436a0def539de87ef67fd /tests/glr-regression.at | |
parent | a53c6026cd367c75d5594e6e649ee1cdda93d5ae (diff) | |
download | bison-d2acc4b4014ad7447c29ce56095f28d22ed12978.tar.gz |
cex: rename -Wcounterexample as -Wcounterexamples, and support -Wcex
Plural vs. singular is always a problem...
But we already have conflicts-sr and conflicts-rr, so counterexamples
makes more sense than counterexample. Besides, -Wcounterexample will
still be accepted as an unambiguous prefix of -Wcounterexamples.
Add -Wcex as a convenient alias.
While at it, use only "counterexample", never "counter example".
* src/complain.h, src/complain.c
(Wcounterexample, warning_counterexample): Rename as...
(Wcounterexamples, warning_counterexamples): these.
(argmatch_warning_docs): Rename -Wcounterexample as -Wcounterexamples.
(argmatch_warning_args): Likewise.
Add support for -Wcex.
Adjust dependencies.
Diffstat (limited to 'tests/glr-regression.at')
0 files changed, 0 insertions, 0 deletions