diff options
author | Michael Schmidt <github@mschmidt.me> | 2018-01-08 12:42:20 +0100 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2018-01-08 12:42:20 +0100 |
commit | d674e0f9597dd9db71ae56f6e99cde589146633c (patch) | |
tree | 6a02ab1119f1ce729895c67a7557ad7b74dab56d /doc/ccomp.1 | |
parent | 94c18ad233b9e16ee9263ba8b717630b4adbf91e (diff) | |
download | compcert-d674e0f9597dd9db71ae56f6e99cde589146633c.tar.gz compcert-d674e0f9597dd9db71ae56f6e99cde589146633c.zip |
Update man page for new Diab target option
Diffstat (limited to 'doc/ccomp.1')
-rw-r--r-- | doc/ccomp.1 | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/ccomp.1 b/doc/ccomp.1 index c476b196..6f9d51d9 100644 --- a/doc/ccomp.1 +++ b/doc/ccomp.1 @@ -204,6 +204,12 @@ The default is 8 bytes. Set maximal size for allocation in small data area to <n> bytes. The default is 8 bytes. . +.TP +.B \-t <tof>:<env> +Select target architecture, passed through to Diab toolchain. +<tof> denotes the \fIt\fParget processor, \fIo\fPbject file format and \fIf\fPloating point support. +<env> denotes the execution \fIenv\fPironment. +. .SS Code Generation Options (ARM Targets) .INDENT 0.0 |