configure: Use the tool specified with --valgrind instead of a hardcoded "valgrind"
authorMichael Niedermayer <michaelni@gmx.at>
Sun, 5 May 2013 14:22:44 +0000 (16:22 +0200)
committerMichael Niedermayer <michaelni@gmx.at>
Sun, 5 May 2013 14:22:44 +0000 (16:22 +0200)
commitfb90e7b86d02d34b60f1f3e9cafb2ea136c82a86
tree89e2d21b07b082c362e5712b6c92fd85e4f6ffb7
parent54021aea57049a2e8e43886e6081ec3690d22fb5
configure: Use the tool specified with --valgrind instead of a hardcoded "valgrind"

Signed-off-by: Michael Niedermayer <michaelni@gmx.at>
configure