diff options
| author | Mike Pall <mike> | 2021-03-11 15:33:44 +0100 |
|---|---|---|
| committer | Mike Pall <mike> | 2021-03-11 15:33:44 +0100 |
| commit | ce9faf2e0d627aa043b84f290aebc4ef87c5a3b4 (patch) | |
| tree | 24604e43044a5dc622179ab8d099f11863eb963c /doc/running.html | |
| parent | 787736990ac3b7d5ceaba2697c7d0f58f77bb782 (diff) | |
| parent | 5ccfe94f4ed27b8f9b899ed9e40e8d872bb83371 (diff) | |
| download | luajit-ce9faf2e0d627aa043b84f290aebc4ef87c5a3b4.tar.gz luajit-ce9faf2e0d627aa043b84f290aebc4ef87c5a3b4.tar.bz2 luajit-ce9faf2e0d627aa043b84f290aebc4ef87c5a3b4.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 6dd3f196..919aad33 100644 --- a/doc/running.html +++ b/doc/running.html | |||
| @@ -183,8 +183,8 @@ itself. For a description of their options and output format, please | |||
| 183 | read the comment block at the start of their source. | 183 | read the comment block at the start of their source. |
| 184 | They can be found in the <tt>lib</tt> directory of the source | 184 | They can be found in the <tt>lib</tt> directory of the source |
| 185 | distribution or installed under the <tt>jit</tt> directory. By default | 185 | distribution or installed under the <tt>jit</tt> directory. By default |
| 186 | this is <tt>/usr/local/share/luajit-2.1.0-beta3/jit</tt> on POSIX | 186 | this is <tt>/usr/local/share/luajit-XX.YY.ZZ>/jit</tt> on POSIX |
| 187 | systems. | 187 | systems (replace XX.YY.ZZ by the installed version). |
| 188 | </p> | 188 | </p> |
| 189 | 189 | ||
| 190 | <h3 id="opt_O"><tt>-O[level]</tt><br> | 190 | <h3 id="opt_O"><tt>-O[level]</tt><br> |