diff options
author | Jiří Janoušek <janousek.jiri@gmail.com> | 2018-11-25 15:00:34 +0100 |
---|---|---|
committer | Rico Tzschichholz <ricotz@ubuntu.com> | 2018-11-25 17:25:48 +0100 |
commit | b0c0a0ee097ed8968f77cf7b1548e916b7acd8d8 (patch) | |
tree | 3dca388be0f428e1e5d1248f4b82f57bd26ab27b /doc | |
parent | 1383ab9f78f81b4ef56d63b38df702253ac8469b (diff) | |
download | vala-b0c0a0ee097ed8968f77cf7b1548e916b7acd8d8.tar.gz |
valadoc: Add --fatal-warnings command line option
To be able to treat warnings as fatal.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/valadoc.1 | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/valadoc.1 b/doc/valadoc.1 index accbf3a85..965c2a469 100644 --- a/doc/valadoc.1 +++ b/doc/valadoc.1 @@ -98,6 +98,9 @@ Display version number \fB\-\-force\fR force .TP +\fB\-\-fatal\-warnings\fR +Treat warnings as fatal +.TP \fB\-\-verbose\fR Show all warnings .TP |