diff options
| -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 098be5e0..434e41ba 100644 --- a/doc/ext_jit.html +++ b/doc/ext_jit.html | |||
| @@ -151,7 +151,7 @@ Contains the target OS name: | |||
| 151 | <h3 id="jit_arch"><tt>jit.arch</tt></h3> | 151 | <h3 id="jit_arch"><tt>jit.arch</tt></h3> |
| 152 | <p> | 152 | <p> |
| 153 | Contains the target architecture name: | 153 | Contains the target architecture name: |
| 154 | "x86", "x64" or "ppcspe". | 154 | "x86", "x64", "arm", "ppc", "ppcspe", or "mips". |
| 155 | </p> | 155 | </p> |
| 156 | 156 | ||
| 157 | <h2 id="jit_opt"><tt>jit.opt.*</tt> — JIT compiler optimization control</h2> | 157 | <h2 id="jit_opt"><tt>jit.opt.*</tt> — JIT compiler optimization control</h2> |
