blob: 4eeb9c9785dd2daecd665ecda043b33e85f776bb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
#!/usr/bin/env bash
set -e
set -o pipefail
VALGRIND_PREFIX=$(scripts/mason.sh PREFIX valgrind VERSION 3.12.0)
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=${VALGRIND_PREFIX}/lib/valgrind
${VALGRIND_PREFIX}/bin/valgrind $PARAMS $@
|
