diff options
| author |   Ingo Schwarze <schwarze@openbsd.org> | 2017-05-16 19:06:30 +0000 |
|---|---|---|
| committer | Ingo Schwarze <schwarze@openbsd.org> | 2017-05-16 19:06:30 +0000 |
| commit | 445ff663a9eac36c01da1f214cb8c9592d66742c (patch) | |
| tree | 3a7ddba2d8524cdcdd883bb96656704cde9bb5d8 /read.c | |
| parent | 5b77bfd6008789ed36ccd7847b9339dce94a6854 (diff) | |
| download | mandoc-445ff663a9eac36c01da1f214cb8c9592d66742c.tar.gz mandoc-445ff663a9eac36c01da1f214cb8c9592d66742c.tar.zst mandoc-445ff663a9eac36c01da1f214cb8c9592d66742c.zip | |
Introduce a new mandoc(1) message level, -W style, below -W warning.
Switch -W all from meaning -W warning to meaning -W style.
The meaning of -T lint does *not* change, it still implies -W warning.
No messages on the new level yet, but they will come.
Usually, i do not lightly make the user interface larger.
But this has been planned for years, and EXIT STATUS 1
was reserved for it all the time. The message system
is now stable enough to finally implement it.
jmc@ regarding the concept: "really good idea"
Diffstat (limited to 'read.c')
| -rw-r--r-- | read.c | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -1,4 +1,4 @@ -/* $Id: read.c,v 1.164 2017/04/29 12:45:42 schwarze Exp $ */ +/* $Id: read.c,v 1.165 2017/05/16 19:06:30 schwarze Exp $ */ /* * Copyright (c) 2008, 2009, 2010, 2011 Kristaps Dzonsons <kristaps@bsd.lv> * Copyright (c) 2010-2017 Ingo Schwarze <schwarze@openbsd.org> @@ -75,7 +75,7 @@ static void mparse_parse_buffer(struct mparse *, struct buf, static const enum mandocerr mandoclimits[MANDOCLEVEL_MAX] = { MANDOCERR_OK, - MANDOCERR_WARNING, + MANDOCERR_STYLE, MANDOCERR_WARNING, MANDOCERR_ERROR, MANDOCERR_UNSUPP, @@ -86,6 +86,7 @@ static const enum mandocerr mandoclimits[MANDOCLEVEL_MAX] = { static const char * const mandocerrs[MANDOCERR_MAX] = { "ok", + "generic style suggestion", "generic warning", /* related to the prologue */ @@ -241,7 +242,7 @@ static const char * const mandocerrs[MANDOCERR_MAX] = { static const char * const mandoclevels[MANDOCLEVEL_MAX] = { "SUCCESS", - "RESERVED", + "STYLE", "WARNING", "ERROR", "UNSUPP", |