mirror of
https://git.ffmpeg.org/ffmpeg.git
synced 2024-12-25 08:42:39 +00:00
configure: Use the tool specified with --valgrind instead of a hardcoded "valgrind"
Signed-off-by: Michael Niedermayer <michaelni@gmx.at>
This commit is contained in:
parent
54021aea57
commit
fb90e7b86d
2
configure
vendored
2
configure
vendored
@ -2507,7 +2507,7 @@ case "$toolchain" in
|
||||
add_ldflags -fsanitize=thread -pie
|
||||
;;
|
||||
valgrind-memcheck)
|
||||
target_exec_default="valgrind"
|
||||
target_exec_default=${valgrind:-"valgrind"}
|
||||
target_exec_args="--error-exitcode=1 --malloc-fill=0x2a --track-origins=yes --leak-check=full --gen-suppressions=all --suppressions=$source_path/tests/fate-valgrind.supp"
|
||||
;;
|
||||
msvc)
|
||||
|
Loading…
Reference in New Issue
Block a user