diff options
Diffstat (limited to 'doc/ccomp.1')
| -rw-r--r-- | doc/ccomp.1 | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/doc/ccomp.1 b/doc/ccomp.1 index 1aea4ff1..c4d214cd 100644 --- a/doc/ccomp.1 +++ b/doc/ccomp.1 @@ -47,6 +47,17 @@ Object file. Library file. . .SH OPTIONS +.SS General Options +.INDENT 0.0 +. +.TP +.B \-conf <file> +Read CompCert configuration from <file>. This takes precedence over any other specification. +. +.TP +.B \-target <triple> +Read CompCert configuration from <triple>.ini instead of using the default of compcert.ini. +. .SS Processing Options .INDENT 0.0 . |