diff options
author | bruvzg <7645683+bruvzg@users.noreply.github.com> | 2022-04-01 13:15:35 +0300 |
---|---|---|
committer | bruvzg <7645683+bruvzg@users.noreply.github.com> | 2022-04-01 13:15:35 +0300 |
commit | ba0317be04168f73dab7a1492485276cfe3d4b2c (patch) | |
tree | 4dc8e01aff1f83ed9c4b3113f960570d8193aedd /platform/osx/detect.py | |
parent | f3fe2631da1602df9312a4cd64c7b68d2f94f08a (diff) |
Add CI build with clang sanitizers, increase stack size to 30 MB for builds with sanitizers.
Diffstat (limited to 'platform/osx/detect.py')
-rw-r--r-- | platform/osx/detect.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/platform/osx/detect.py b/platform/osx/detect.py index 0ff93bedb4..8d848d2094 100644 --- a/platform/osx/detect.py +++ b/platform/osx/detect.py @@ -127,6 +127,7 @@ def configure(env): if env["use_ubsan"] or env["use_asan"] or env["use_tsan"]: env.extra_suffix += ".san" + env.Append(CCFLAGS=["-DSANITIZERS_ENABLED"]) if env["use_ubsan"]: env.Append( |