From 0269c6fb030f6abcfb3c5d808fba86b8e02000ea Mon Sep 17 00:00:00 2001 From: Akim Demaille Date: Wed, 8 May 2019 09:06:12 +0200 Subject: 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. --- src/getargs.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/getargs.h') 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. */ -- cgit v1.2.1