diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2019-01-27 06:38:27 +0100 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2019-01-27 15:53:28 +0100 |
commit | 8b0b2955691f511eb91cc6eb0fec75601aea80ac (patch) | |
tree | 99920f081e480a437e68fcb85b6dff3be55f97e0 /src/getargs.c | |
parent | 59a108c0a662f5598e1c5fc574f7d37711a6d103 (diff) | |
download | bison-8b0b2955691f511eb91cc6eb0fec75601aea80ac.tar.gz |
yacc: issue warnings, not errors, for Bison extensions
Reported by Kiyoshi Kanazawa.
http://lists.gnu.org/archive/html/bug-bison/2019-01/msg00029.html
* src/getargs.c (getargs): Let --yacc imply -Wyacc, not -Werror=yacc.
* tests/input.at: Adjust.
* doc/bison.tex (Bison Options): Document.
Diffstat (limited to 'src/getargs.c')
-rw-r--r-- | src/getargs.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/getargs.c b/src/getargs.c index 95572681..417e163c 100644 --- a/src/getargs.c +++ b/src/getargs.c @@ -708,7 +708,7 @@ getargs (int argc, char *argv[]) break; case 'y': - warning_argmatch ("error=yacc", 0, 6); + warning_argmatch ("yacc", 0, 0); yacc_loc = command_line_location (); break; |