diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-04-01 14:44:47 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-04-01 14:44:47 +0200 |
| commit | 916ec2b66e193d58cd16c6a1704f1c49fe589bd0 (patch) | |
| tree | 5ed96474b5dc4e3f5af32c75bf65c11a28791f9a /platform/osx/detect.py | |
| parent | 26048c805b5b5912c7ccf8deb06be23c561b0fa0 (diff) | |
| parent | ba0317be04168f73dab7a1492485276cfe3d4b2c (diff) | |
Merge pull request #59782 from bruvzg/clang_ci_san
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( |