diff options
Diffstat (limited to 'doc/running.html')
-rw-r--r-- | doc/running.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/running.html b/doc/running.html index e3a2a4b0..e337d535 100644 --- a/doc/running.html +++ b/doc/running.html | |||
@@ -126,7 +126,7 @@ systems. | |||
126 | </p> | 126 | </p> |
127 | 127 | ||
128 | <h3 id="opt_O"><tt>-O[level]</tt><br> | 128 | <h3 id="opt_O"><tt>-O[level]</tt><br> |
129 | <tt>-O[+]flag</tt> <tt>-O-flag</tt><br> | 129 | <tt>-O[+]flag</tt> <tt>-O-flag</tt><br> |
130 | <tt>-Oparam=value</tt></h3> | 130 | <tt>-Oparam=value</tt></h3> |
131 | <p> | 131 | <p> |
132 | This options allows fine-tuned control of the optimizations used by | 132 | This options allows fine-tuned control of the optimizations used by |