diff options
| author | Michael Schmidt <github@mschmidt.me> | 2017-02-21 12:05:31 +0100 |
|---|---|---|
| committer | Michael Schmidt <github@mschmidt.me> | 2017-02-21 12:05:31 +0100 |
| commit | a83df40c59f8b3c50581304fb6c0d3913acf15c7 (patch) | |
| tree | 70796e6788c055e78aa38cfbc683b001038170bf /doc | |
| parent | 2994087f111a1fc8e9d52cb9370dfdd9c0157f00 (diff) | |
| download | compcert-kvx-a83df40c59f8b3c50581304fb6c0d3913acf15c7.tar.gz compcert-kvx-a83df40c59f8b3c50581304fb6c0d3913acf15c7.zip | |
update manpage for new options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ccomp.1 | 20 |
1 files changed, 16 insertions, 4 deletions
diff --git a/doc/ccomp.1 b/doc/ccomp.1 index 31282cb3..c074ec9d 100644 --- a/doc/ccomp.1 +++ b/doc/ccomp.1 @@ -422,6 +422,10 @@ Enabled by default. Disable the specific warning <warning>. . .TP +.B \-w +Suppress all warnings. +. +.TP .B \-Werror Treat all warnings of CompCert as errors. . @@ -438,12 +442,20 @@ Prevent the specific warning <warning> from being treated as error even if \fB\- Treat all errors of CompCert as fatal errors, so that the compilation is aborted immediately. . .TP -.B \-fdiagnostics-color -Turn on colored diagnostics. Default for TTY output devices. +.B \-fmax\-errors=<n> +Print at most <n> error messages before bailing out. Defaults to <n>=0 which means unlimited error messages. +. +.TP +.B \-fdiagnostics\-format=<format> +Select format for location information in messages. Possible formats are \fBccomp\fP (default), \fBmsvc\fP or \fBvi\fP. +. +.TP +.BR \-fdiagnostics\-color ", " \-fno\-diagnostics\-color +Turn on/off colored diagnostics. Enabled by default for TTY output devices. . .TP -.B \-fno-diagnostics-color -Turn off colored diagnostics. +.BR \-fdiagnostics\-show-option ", " \-fno\-diagnostics\-show\-option +Turn on/off printing of option name with mappable diagnostics. Enabled by default. . .SS Tracing Options |