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 /modules/regex/SCsub | |
| 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 'modules/regex/SCsub')
| -rw-r--r-- | modules/regex/SCsub | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/modules/regex/SCsub b/modules/regex/SCsub index 1be5af02a5..6238cd3d9f 100644 --- a/modules/regex/SCsub +++ b/modules/regex/SCsub @@ -6,12 +6,10 @@ Import('env_modules') env_regex = env_modules.Clone() if env['builtin_pcre2']: - jit_blacklist = ['javascript', 'uwp'] - thirdparty_dir = '#thirdparty/pcre2/src/' thirdparty_flags = ['PCRE2_STATIC', 'HAVE_CONFIG_H'] - if 'platform' in env and env['platform'] not in jit_blacklist: + if env['builtin_pcre2_with_jit']: thirdparty_flags.append('SUPPORT_JIT') thirdparty_sources = [ |