summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorMichael Niedermayer <michaelni@gmx.at>2013-05-05 16:22:44 +0200
committerMichael Niedermayer <michaelni@gmx.at>2013-05-05 16:22:44 +0200
commitfb90e7b86d02d34b60f1f3e9cafb2ea136c82a86 (patch)
tree89e2d21b07b082c362e5712b6c92fd85e4f6ffb7 /configure
parent54021aea57049a2e8e43886e6081ec3690d22fb5 (diff)
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-xconfigure2
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index ca30d906bf..5a5cbc2cf2 100755
--- a/configure
+++ b/configure
@@ -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)