summaryrefslogtreecommitdiffstats
path: root/.github/configs
diff options
context:
space:
mode:
authorDarren Tucker <dtucker@dtucker.net>2022-07-05 18:35:53 +1000
committerDarren Tucker <dtucker@dtucker.net>2022-07-05 18:35:53 +1000
commit669a56bcfe73f8b985f2bba476ba834d55253acf (patch)
tree0f9635a5afe79706dd51a992e6ecb932d0d1167d /.github/configs
parent48cc68b69118b3ce8d07fd4f82e00d58667d5379 (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/configs2
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"
;;