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 2ce02bc4..3f408141 100644 --- a/doc/running.html +++ b/doc/running.html | |||
@@ -179,7 +179,7 @@ written in Lua. They are mainly used for debugging the JIT compiler | |||
179 | itself. For a description of their options and output format, please | 179 | itself. For a description of their options and output format, please |
180 | read the comment block at the start of their source. | 180 | read the comment block at the start of their source. |
181 | They can be found in the <tt>lib</tt> directory of the source | 181 | They can be found in the <tt>lib</tt> directory of the source |
182 | distribution or installed under the <tt>jit</tt> directory. By default | 182 | distribution or installed under the <tt>jit</tt> directory. By default, |
183 | this is <tt>/usr/local/share/luajit-XX.YY.ZZ>/jit</tt> on POSIX | 183 | this is <tt>/usr/local/share/luajit-XX.YY.ZZ>/jit</tt> on POSIX |
184 | systems (replace XX.YY.ZZ by the installed version). | 184 | systems (replace XX.YY.ZZ by the installed version). |
185 | </p> | 185 | </p> |
@@ -211,7 +211,7 @@ to a specific value. | |||
211 | You can either use this option multiple times (like <tt>-Ocse | 211 | You can either use this option multiple times (like <tt>-Ocse |
212 | -O-dce -Ohotloop=10</tt>) or separate several settings with a comma | 212 | -O-dce -Ohotloop=10</tt>) or separate several settings with a comma |
213 | (like <tt>-O+cse,-dce,hotloop=10</tt>). The settings are applied from | 213 | (like <tt>-O+cse,-dce,hotloop=10</tt>). The settings are applied from |
214 | left to right and later settings override earlier ones. You can freely | 214 | left to right, and later settings override earlier ones. You can freely |
215 | mix the three forms, but note that setting an optimization level | 215 | mix the three forms, but note that setting an optimization level |
216 | overrides all earlier flags. | 216 | overrides all earlier flags. |
217 | </p> | 217 | </p> |