diff mbox

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

Message ID 20180526003100.12475-1-michael@niedermayer.cc
State Accepted
Commit 1386a199f9fe3d1ab3a6bb8a4e2fe5a9961024e8
Headers show

Commit Message

Michael Niedermayer May 26, 2018, 12:31 a.m. UTC 
Signed-off-by: Michael Niedermayer <michael@niedermayer.cc>
---
 configure | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Comments

Michael Niedermayer May 27, 2018, 7:38 p.m. UTC | #1 
On Sat, May 26, 2018 at 02:31:00AM +0200, Michael Niedermayer wrote:
> Signed-off-by: Michael Niedermayer <michael@niedermayer.cc>
> ---
>  configure | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)

will apply

[...]
diff mbox

Patch

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
 }