diff options
author | Michael Niedermayer <michaelni@gmx.at> | 2013-05-05 16:22:44 +0200 |
---|---|---|
committer | Michael Niedermayer <michaelni@gmx.at> | 2013-05-05 16:22:44 +0200 |
commit | fb90e7b86d02d34b60f1f3e9cafb2ea136c82a86 (patch) | |
tree | 89e2d21b07b082c362e5712b6c92fd85e4f6ffb7 /configure | |
parent | 54021aea57049a2e8e43886e6081ec3690d22fb5 (diff) | |
download | ffmpeg-fb90e7b86d02d34b60f1f3e9cafb2ea136c82a86.tar.gz |
configure: Use the tool specified with --valgrind instead of a hardcoded "valgrind"
Signed-off-by: Michael Niedermayer <michaelni@gmx.at>
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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) |