[FFmpeg-devel] [PATCH] configure: Omit fsanitize flags if they are already specified by the user

Michael Niedermayer michael at niedermayer.cc
Sat May 26 03:31:00 EEST 2018


Signed-off-by: Michael Niedermayer <michael at niedermayer.cc>
---
 configure | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configure b/configure
index 09ff0c55e2..f768a97327 100755
--- a/configure
+++ b/configure
@@ -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
 }
-- 
2.17.0



More information about the ffmpeg-devel mailing list