warnings: rename the categories

Forthcoming changes will use the warning categories much more often,
so shortening them will improve readability.

* src/complain.c, src/complain.h, src/conflicts.c,
* src/getargs.c, src/getargs.h, src/gram.c (enum warnings):
s/warnings_/W/g.
This commit is contained in:
Victor Santet
2012-06-28 16:44:19 +02:00
committed by Akim Demaille
parent f124616490
commit 327db05b22
6 changed files with 36 additions and 36 deletions

View File

@@ -601,9 +601,9 @@ conflicts_print (void)
/* Report the total number of conflicts on STDERR. */
if (expected_sr_conflicts == -1 && expected_rr_conflicts == -1)
{
if (!(warnings_flag & warnings_conflicts_sr))
if (!(warnings_flag & Wconflicts_sr))
src_total = 0;
if (!(warnings_flag & warnings_conflicts_rr))
if (!(warnings_flag & Wconflicts_rr))
rrc_total = 0;
}
if (src_total | rrc_total)