mirror of
https://git.ffmpeg.org/ffmpeg.git
synced 2025-01-14 03:11:20 +00:00
configure: Omit fsanitize flags if they are already specified by the user
Signed-off-by: Michael Niedermayer <michael@niedermayer.cc>
This commit is contained in:
parent
0263c52f4d
commit
1386a199f9
2
configure
vendored
2
configure
vendored
@ -3942,7 +3942,7 @@ set >> $logfile
|
|||||||
|
|
||||||
test -n "$valgrind" && toolchain="valgrind-memcheck"
|
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_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
|
add_ldflags -fsanitize=address,undefined -fsanitize-coverage=trace-pc-guard,trace-cmp
|
||||||
}
|
}
|
||||||
|
Loading…
Reference in New Issue
Block a user