|
|
|
@ -122,7 +122,7 @@ scan_failed() { |
|
|
|
|
# ----------- valgrind wrapper |
|
|
|
|
init_valgrind() { |
|
|
|
|
test "x$VG" = "x1" || { echo "*** valgrind tests skipped by default, use 'make check VG=1' to activate"; exit 77; } |
|
|
|
|
VALGRIND=`which ${VALGRIND-valgrind}` |
|
|
|
|
VALGRIND=`which ${VALGRIND-valgrind}` || true |
|
|
|
|
VALGRIND_COMMON_FLAGS="-v --trace-children=yes --suppressions=$abs_srcdir/valgrind.supp --log-file=valgrind.log --error-exitcode=123 $GENSUPP" |
|
|
|
|
VALGRIND_FLAGS="$VALGRIND_COMMON_FLAGS --track-fds=yes --leak-check=full" |
|
|
|
|
VALGRIND_FLAGS_RACE="$VALGRIND_COMMON_FLAGS --tool=helgrind" |
|
|
|
|