summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorMichael Niedermayer <michael@niedermayer.cc>2018-08-18 10:34:15 +0200
committerMichael Niedermayer <michael@niedermayer.cc>2018-08-23 16:00:26 +0200
commit4251a44e7d9ec0322973ae2b286942f03632eeeb (patch)
tree21af2d5ae4224b86315f310ba686b3d5cd1ee7b9 /configure
parentc9ed7f002492c7901f8638d8765bf4532dc2900a (diff)
configure: do not add fsanitize cflags with ossfuzz if coverage is tested
Found-by: Max Moroz Signed-off-by: Michael Niedermayer <michael@niedermayer.cc>
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure2
1 files changed, 1 insertions, 1 deletions
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
}