diff options
author | Mike Pall <mike> | 2022-06-23 09:10:43 +0200 |
---|---|---|
committer | Mike Pall <mike> | 2022-06-23 09:10:43 +0200 |
commit | 4c2441c16ce3c4e312aaefecc6d40c4fe21de97c (patch) | |
tree | 0ee5ad7a3246f9a620265de9c6998308cb44a09b /doc/running.html | |
parent | 0065cff7e0222c234b75a71e72b8883df5d000c2 (diff) | |
parent | 2e98c3d0644fc0c265844908f43b7e4526dd819c (diff) | |
download | luajit-4c2441c16ce3c4e312aaefecc6d40c4fe21de97c.tar.gz luajit-4c2441c16ce3c4e312aaefecc6d40c4fe21de97c.tar.bz2 luajit-4c2441c16ce3c4e312aaefecc6d40c4fe21de97c.zip |
Merge branch 'master' into v2.1
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> |