From a83df40c59f8b3c50581304fb6c0d3913acf15c7 Mon Sep 17 00:00:00 2001 From: Michael Schmidt Date: Tue, 21 Feb 2017 12:05:31 +0100 Subject: update manpage for new options --- doc/ccomp.1 | 20 ++++++++++++++++---- 1 file changed, 16 insertions(+), 4 deletions(-) (limited to 'doc/ccomp.1') 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 . . .TP +.B \-w +Suppress all warnings. +. +.TP .B \-Werror Treat all warnings of CompCert as errors. . @@ -438,12 +442,20 @@ Prevent the specific 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= +Print at most error messages before bailing out. Defaults to =0 which means unlimited error messages. +. +.TP +.B \-fdiagnostics\-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 -- cgit