diff options
Diffstat (limited to 'doc/running.html')
-rw-r--r-- | doc/running.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/running.html b/doc/running.html index e44f00b7..177e6357 100644 --- a/doc/running.html +++ b/doc/running.html | |||
@@ -184,7 +184,7 @@ written in Lua. They are mainly used for debugging the JIT compiler | |||
184 | itself. For a description of their options and output format, please | 184 | itself. For a description of their options and output format, please |
185 | read the comment block at the start of their source. | 185 | read the comment block at the start of their source. |
186 | They can be found in the <tt>lib</tt> directory of the source | 186 | They can be found in the <tt>lib</tt> directory of the source |
187 | distribution or installed under the <tt>jit</tt> directory. By default | 187 | distribution or installed under the <tt>jit</tt> directory. By default, |
188 | this is <tt>/usr/local/share/luajit-XX.YY.ZZ>/jit</tt> on POSIX | 188 | this is <tt>/usr/local/share/luajit-XX.YY.ZZ>/jit</tt> on POSIX |
189 | systems (replace XX.YY.ZZ by the installed version). | 189 | systems (replace XX.YY.ZZ by the installed version). |
190 | </p> | 190 | </p> |
@@ -216,7 +216,7 @@ to a specific value. | |||
216 | You can either use this option multiple times (like <tt>-Ocse | 216 | You can either use this option multiple times (like <tt>-Ocse |
217 | -O-dce -Ohotloop=10</tt>) or separate several settings with a comma | 217 | -O-dce -Ohotloop=10</tt>) or separate several settings with a comma |
218 | (like <tt>-O+cse,-dce,hotloop=10</tt>). The settings are applied from | 218 | (like <tt>-O+cse,-dce,hotloop=10</tt>). The settings are applied from |
219 | left to right and later settings override earlier ones. You can freely | 219 | left to right, and later settings override earlier ones. You can freely |
220 | mix the three forms, but note that setting an optimization level | 220 | mix the three forms, but note that setting an optimization level |
221 | overrides all earlier flags. | 221 | overrides all earlier flags. |
222 | </p> | 222 | </p> |