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