Found-by: Max Moroz
Signed-off-by: Michael Niedermayer <[email protected]>
---
configure | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/configure b/configure
index 9b5421d5a8..b9c9d0b307 100755
--- a/configure
+++ b/configure
@@ -3964,7 +3964,7 @@ set >> $logfile
test -n "$valgrind" && toolchain="valgrind-memcheck"
-enabled ossfuzz && ! echo $CFLAGS | grep -q -- "-fsanitize=" &&{
+enabled ossfuzz && ! echo $CFLAGS | grep -q -- "-fsanitize=" && ! echo
$CFLAGS | grep -q -- "-fcoverage-mapping" &&{
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.18.0
_______________________________________________
ffmpeg-devel mailing list
[email protected]
http://ffmpeg.org/mailman/listinfo/ffmpeg-devel
