summaryrefslogtreecommitdiff
path: root/doc/running.html
diff options
context:
space:
mode:
Diffstat (limited to 'doc/running.html')
-rw-r--r--doc/running.html2
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>&nbsp;&nbsp;&nbsp;<tt>-O-flag</tt><br>
130<tt>-Oparam=value</tt></h3> 130<tt>-Oparam=value</tt></h3>
131<p> 131<p>
132This options allows fine-tuned control of the optimizations used by 132This options allows fine-tuned control of the optimizations used by