configure: Omit fsanitize flags if they are already specified by the user
authorMichael Niedermayer <michael@niedermayer.cc>
Sat, 26 May 2018 00:28:57 +0000 (02:28 +0200)
committerMichael Niedermayer <michael@niedermayer.cc>
Sun, 27 May 2018 19:38:33 +0000 (21:38 +0200)
Signed-off-by: Michael Niedermayer <michael@niedermayer.cc>
configure

index 64c90bb..22eeca2 100755 (executable)
--- 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
 }