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 4009063c80..c717fc2cb8 100755 --- a/scripts/valgrind.sh +++ b/scripts/valgrind.sh @@ -3,7 +3,7 @@ set -e set -o pipefail -.mason/mason install valgrind latest +.mason/mason install valgrind 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 latest)/lib/valgrind +export VALGRIND_LIB=$(.mason/mason prefix valgrind 3.12.0)/lib/valgrind -$(.mason/mason prefix valgrind latest)/bin/valgrind $PARAMS $@ +$(.mason/mason prefix valgrind 3.12.0)/bin/valgrind $PARAMS $@ |