diff options
Diffstat (limited to 'scripts/valgrind.sh')
-rwxr-xr-x | scripts/valgrind.sh | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/scripts/valgrind.sh b/scripts/valgrind.sh new file mode 100755 index 0000000000..009e18c432 --- /dev/null +++ b/scripts/valgrind.sh @@ -0,0 +1,16 @@ +#!/usr/bin/env bash + +set -e +set -o pipefail + +PARAMS="\ + --leak-check=full \ + --show-leak-kinds=definite \ + --errors-for-leak-kinds=definite \ + --error-exitcode=1 \ + --gen-suppressions=all \ + --suppressions=scripts/valgrind.sup" + +export VALGRIND_LIB=$(.mason/mason prefix valgrind latest)/lib/valgrind + +$(.mason/mason prefix valgrind latest)/bin/valgrind $PARAMS $@ |