diff options
Diffstat (limited to 'scripts/valgrind.sh')
| -rwxr-xr-x | scripts/valgrind.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/scripts/valgrind.sh b/scripts/valgrind.sh index c717fc2cb8..4eeb9c9785 100755 --- a/scripts/valgrind.sh +++ b/scripts/valgrind.sh @@ -3,7 +3,7 @@ set -e set -o pipefail -.mason/mason install valgrind 3.12.0 +VALGRIND_PREFIX=$(scripts/mason.sh PREFIX valgrind VERSION 3.12.0) PARAMS="\ --leak-check=full \ @@ -13,6 +13,6 @@ PARAMS="\ --gen-suppressions=all \ --suppressions=scripts/valgrind.sup" -export VALGRIND_LIB=$(.mason/mason prefix valgrind 3.12.0)/lib/valgrind +export VALGRIND_LIB=${VALGRIND_PREFIX}/lib/valgrind -$(.mason/mason prefix valgrind 3.12.0)/bin/valgrind $PARAMS $@ +${VALGRIND_PREFIX}/bin/valgrind $PARAMS $@ |