diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2019-04-20 17:17:48 +0200 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2019-04-23 18:29:10 +0200 |
commit | 520d474ec64490362934ca1d5240f46078fdd624 (patch) | |
tree | 5da2152979fc91f23818de73b326f1fa8b9e824e /src/getargs.h | |
parent | deec7ca65c4b2df54bbbf25d9d8da6b0691df87f (diff) | |
download | bison-520d474ec64490362934ca1d5240f46078fdd624.tar.gz |
diagnostics: check the styling
Enable checking of styles even when libtextstyle is not installed.
* src/getargs.h, src/getargs.c (style_debug): New.
(getargs_colors): Set it when --style=debug.
* src/complain.c (begin_use_class, end_use_class): Use it.
* tests/diagnostics.at: New.
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 2037c00a..58f082f8 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. */ /* 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. */ |