diff options
author | Michael Schmidt <github@mschmidt.me> | 2016-12-02 14:05:41 +0100 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2016-12-02 14:05:41 +0100 |
commit | 55ac8abb71d589c303d0c6a35f1d2c3b7a0adcba (patch) | |
tree | 133f9b128a6de7bc2d10847669cb95ed1c1a80a5 /doc | |
parent | 7576599c91a7be973369349d25969f4a3d1c623c (diff) | |
download | compcert-55ac8abb71d589c303d0c6a35f1d2c3b7a0adcba.tar.gz compcert-55ac8abb71d589c303d0c6a35f1d2c3b7a0adcba.zip |
fix targets in section for code generation options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/ccomp.1 | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/doc/ccomp.1 b/doc/ccomp.1 index c24ddd2c..88af8612 100644 --- a/doc/ccomp.1 +++ b/doc/ccomp.1 @@ -160,7 +160,7 @@ Turn on/off use of FP registers for some integer operations. Enabled by default. . .SS -Code Generation Options (PowerPC with Diab Backend) +Code Generation Options (PowerPC) .INDENT 0.0 . .TP @@ -173,6 +173,10 @@ The default alignment is 0 bytes, which deactivates alignment of branch targets. Set alignment of conditional branches to <n> bytes. The default alignment is 0 bytes, which deactivates alignment of conditional branch targets. . +.SS +Code Generation Options (PowerPC with Diab Backend) +.INDENT 0.0 +. .TP .B \-fsmall\-const <n> Set maximal size for allocation in small data constant to <n> bytes. |