[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