diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2019-11-20 08:54:52 +0100 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2019-11-20 08:54:52 +0100 |
commit | 02913f53d3b5dde2fc381d40cf3be988c1e66acb (patch) | |
tree | 76f9e2ed0cc5644f2697b6dbdb3c30b12f3f7a4a /platform/uwp | |
parent | 3be6e76f220f702d41ae5efc526064f87059539b (diff) |
pcre2: Use scons option to disable JIT on some platforms
Third-party platforms (e.g. console ports) need to be able to
disable JIT support in the regex module too, so it can't be
hardcoded in the module SCsub. This is cleaner this way anyway.
Fixes #19316.
Diffstat (limited to 'platform/uwp')
-rw-r--r-- | platform/uwp/detect.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/platform/uwp/detect.py b/platform/uwp/detect.py index 7da93eafae..000bd18e7d 100644 --- a/platform/uwp/detect.py +++ b/platform/uwp/detect.py @@ -34,6 +34,7 @@ def get_flags(): return [ ('tools', False), ('xaudio2', True), + ('builtin_pcre2_with_jit', False), ] |