diff options
author | James Darnley <jdarnley@obe.tv> | 2022-12-07 17:04:55 +0100 |
---|---|---|
committer | James Darnley <jdarnley@obe.tv> | 2022-12-20 15:02:45 +0100 |
commit | f1f41d6ff5fdfc993e69972c074584efa56012ee (patch) | |
tree | e8f3747148527e5e7404ab0182c7df05d0384ee8 /configure | |
parent | a69b08790be95fbe943bc5385a5dadbc9dd431ec (diff) | |
download | ffmpeg-f1f41d6ff5fdfc993e69972c074584efa56012ee.tar.gz |
configure: support lsan as toolchain
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -4317,6 +4317,11 @@ case "$toolchain" in add_cflags -fsanitize=address add_ldflags -fsanitize=address ;; + *-lsan) + cc_default="${toolchain%-lsan}" + add_cflags -fsanitize=leak + add_ldflags -fsanitize=leak + ;; *-msan) cc_default="${toolchain%-msan}" add_cflags -fsanitize=memory -fsanitize-memory-track-origins |