diff options
author | Darren Tucker <dtucker@dtucker.net> | 2022-07-05 18:35:53 +1000 |
---|---|---|
committer | Darren Tucker <dtucker@dtucker.net> | 2022-07-05 18:35:53 +1000 |
commit | 669a56bcfe73f8b985f2bba476ba834d55253acf (patch) | |
tree | 0f9635a5afe79706dd51a992e6ecb932d0d1167d /.github/configs | |
parent | 48cc68b69118b3ce8d07fd4f82e00d58667d5379 (diff) |
Update sanitizer test targets:
- remove clang-sanitize-memory for now. It takes so long that the test
times out.
- add gcc sanitize-address and sanitize-undefined test targets.
Diffstat (limited to '.github/configs')
-rwxr-xr-x | .github/configs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/configs b/.github/configs index ebbfa5b4..0308ca6c 100755 --- a/.github/configs +++ b/.github/configs @@ -78,7 +78,7 @@ case "$config" in CONFIGFLAGS="--without-openssl --without-zlib --without-shadow" TEST_TARGET="t-exec" ;; - clang-sanitize-undefined) + *-sanitize-undefined) CFLAGS="-fsanitize=undefined" LDFLAGS="-fsanitize=undefined" ;; |