diff options
| author | Akim Demaille <akim.demaille@gmail.com> | 2019-05-08 09:06:12 +0200 |
|---|---|---|
| committer | Akim Demaille <akim.demaille@gmail.com> | 2019-05-08 13:36:47 +0200 |
| commit | 0269c6fb030f6abcfb3c5d808fba86b8e02000ea (patch) | |
| tree | a90a5a9dac8c67698bce9ca8e2fd4c3c26eff963 /src/getargs.h | |
| parent | 23e536af498ac6ecb42cb00a0bd09bf34835126f (diff) | |
| download | bison-0269c6fb030f6abcfb3c5d808fba86b8e02000ea.tar.gz | |
diagnostics: rename --style=debug as --color=debug
It is more consistent with --color=html, --color=test, etc.
* src/getargs.h, src/getargs.c (style_debug): Rename as...
(color_debug): this.
(getargs_colors): Rename --style=debug as --color=debug.
Adjust dependencies.
Diffstat (limited to 'src/getargs.h')
| -rw-r--r-- | src/getargs.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/getargs.h b/src/getargs.h index 27fb0fad..0cc4daed 100644 --- a/src/getargs.h +++ b/src/getargs.h @@ -41,7 +41,7 @@ extern bool no_lines_flag; /* for -l */ extern bool token_table_flag; /* for -k */ extern location yacc_loc; /* for -y */ extern bool update_flag; /* for -u */ -extern bool style_debug; /* --style=debug. */ +extern bool color_debug; /* --color=debug. */ /* GLR_PARSER is true if the input file says to use the GLR (Generalized LR) parser, and to output some additional information used by the GLR algorithm. */ |