diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2016-12-04 09:43:32 +0100 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2017-01-25 17:07:40 +0100 |
| commit | 70aa7b0485def299a210d8bf04ddd0f3dc3523fd (patch) | |
| tree | eac7febf3d5a969ae175af499874c899965b0ca2 /MANUAL.txt | |
| parent | 57cff4b8ae75a2bbca86f5e3123cb890b629944e (diff) | |
Added `--fail-if-warnings` option.
Diffstat (limited to 'MANUAL.txt')
| -rw-r--r-- | MANUAL.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/MANUAL.txt b/MANUAL.txt index bef426c31..c9b6c0fb1 100644 --- a/MANUAL.txt +++ b/MANUAL.txt @@ -344,6 +344,10 @@ General options : Suppress warning messages. +`--fail-if-warnings` + +: Exit with error status if there are any warnings. + `--list-input-formats` : List supported input formats, one per line. |