diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-11-20 09:08:59 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-11-20 09:08:59 +0100 |
commit | 3e8dec3c72402309b061232a2bd61ef936d8f48a (patch) | |
tree | a81dc0c898b1cf982d23b6cf34852c3af6c5c981 /platform/javascript | |
parent | b95bbd9883f7722f5465f567cf97c47d5fc003c2 (diff) | |
parent | 02913f53d3b5dde2fc381d40cf3be988c1e66acb (diff) |
Merge pull request #33757 from akien-mga/pcre2-optional-jit
pcre2: Use scons option to disable JIT on some platforms
Diffstat (limited to 'platform/javascript')
-rw-r--r-- | platform/javascript/detect.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/platform/javascript/detect.py b/platform/javascript/detect.py index a63fa90067..c05b765c5e 100644 --- a/platform/javascript/detect.py +++ b/platform/javascript/detect.py @@ -24,6 +24,7 @@ def get_opts(): def get_flags(): return [ ('tools', False), + ('builtin_pcre2_with_jit', False), # Disabling the mbedtls module reduces file size. # The module has little use due to the limited networking functionality # in this platform. For the available networking methods, the browser |