diff options
| author | Mike Pall <mike> | 2022-06-23 09:10:09 +0200 |
|---|---|---|
| committer | Mike Pall <mike> | 2022-06-23 09:10:09 +0200 |
| commit | 2e98c3d0644fc0c265844908f43b7e4526dd819c (patch) | |
| tree | b9116c671f4268be7776696abdb189de4be5cf43 /doc/running.html | |
| parent | 7dc3850e78493eed1e85fa7bc0b96068ae7fb9f4 (diff) | |
| download | luajit2-2e98c3d0644fc0c265844908f43b7e4526dd819c.tar.gz | |
Grammar and spell check.
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 itself. For a description of their options and output format, please read the comment block at the start of their source. They can be found in the <tt>lib</tt> directory of the source -distribution or installed under the <tt>jit</tt> directory. By default +distribution or installed under the <tt>jit</tt> directory. By default, this is <tt>/usr/local/share/luajit-XX.YY.ZZ>/jit</tt> on POSIX systems (replace XX.YY.ZZ by the installed version). </p> @@ -211,7 +211,7 @@ to a specific value. You can either use this option multiple times (like <tt>-Ocse -O-dce -Ohotloop=10</tt>) or separate several settings with a comma (like <tt>-O+cse,-dce,hotloop=10</tt>). The settings are applied from -left to right and later settings override earlier ones. You can freely +left to right, and later settings override earlier ones. You can freely mix the three forms, but note that setting an optimization level overrides all earlier flags. </p> |