diff options
author | Akim Demaille <akim@lrde.epita.fr> | 2013-02-14 14:35:24 +0100 |
---|---|---|
committer | Akim Demaille <akim@lrde.epita.fr> | 2013-02-16 07:45:07 +0100 |
commit | 12bc1c9e47a5c043e1d2bba599846732b93d062c (patch) | |
tree | 961c94d2ef2ab1e789edf8416cf7a164a9796be1 /src/getargs.h | |
parent | 808e523db40335778897b413d446dff1d41d0e85 (diff) | |
download | bison-12bc1c9e47a5c043e1d2bba599846732b93d062c.tar.gz |
style: move argument handling of -W into the diagnostics module
This allows to reduce the number of public interfaces.
* src/getargs.c (--yacc): Use warning_argmatch instead of tweaking
directly warnings_flag (which will be private).
(warning_argmatch, warnings_argmatch): Move to...
* src/complain.h, src/complain.c: here.
* src/getargs.h, src/getargs.c (warnings_args, warnings_types): Move to...
* src/complain.c: here, now private.
* src/complain.h (severity, warnings_flag): Move to...
* src/complain.c: here, now private.
Diffstat (limited to 'src/getargs.h')
-rw-r--r-- | src/getargs.h | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/src/getargs.h b/src/getargs.h index 2fba265a..5d4dfb0d 100644 --- a/src/getargs.h +++ b/src/getargs.h @@ -121,13 +121,6 @@ enum feature /** What additional features to use. */ extern int feature_flag; -/*------------. -| --warning. | -`------------*/ -/* Null-terminated list. */ -extern const char * const warnings_args[]; -extern const int warnings_types[]; - /** Process the command line arguments. * |