diff options
author | Michael Niedermayer <michael@niedermayer.cc> | 2018-05-26 02:28:57 +0200 |
---|---|---|
committer | Michael Niedermayer <michael@niedermayer.cc> | 2018-05-27 21:38:33 +0200 |
commit | 1386a199f9fe3d1ab3a6bb8a4e2fe5a9961024e8 (patch) | |
tree | bbcb000230448e112ca56a71e4444b3672286cba | |
parent | 0263c52f4d4e911bf9ffd7eab6fed83e91353f35 (diff) | |
download | ffmpeg-1386a199f9fe3d1ab3a6bb8a4e2fe5a9961024e8.tar.gz |
configure: Omit fsanitize flags if they are already specified by the user
Signed-off-by: Michael Niedermayer <michael@niedermayer.cc>
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -3942,7 +3942,7 @@ set >> $logfile test -n "$valgrind" && toolchain="valgrind-memcheck" -enabled ossfuzz && { +enabled ossfuzz && ! echo $CFLAGS | grep -q -- "-fsanitize=" &&{ add_cflags -fsanitize=address,undefined -fsanitize-coverage=trace-pc-guard,trace-cmp -fno-omit-frame-pointer add_ldflags -fsanitize=address,undefined -fsanitize-coverage=trace-pc-guard,trace-cmp } |