diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ext_jit.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/ext_jit.html b/doc/ext_jit.html index fb4d434b..ddc8337d 100644 --- a/doc/ext_jit.html +++ b/doc/ext_jit.html | |||
| @@ -153,7 +153,7 @@ Contains the target OS name: | |||
| 153 | <h3 id="jit_arch"><tt>jit.arch</tt></h3> | 153 | <h3 id="jit_arch"><tt>jit.arch</tt></h3> |
| 154 | <p> | 154 | <p> |
| 155 | Contains the target architecture name: | 155 | Contains the target architecture name: |
| 156 | "x86", "x64" or "ppcspe". | 156 | "x86", "x64", "arm", "ppc", "ppcspe", or "mips". |
| 157 | </p> | 157 | </p> |
| 158 | 158 | ||
| 159 | <h2 id="jit_opt"><tt>jit.opt.*</tt> — JIT compiler optimization control</h2> | 159 | <h2 id="jit_opt"><tt>jit.opt.*</tt> — JIT compiler optimization control</h2> |