mirror of
https://git.notmuchmail.org/git/notmuch
synced 2024-11-28 21:54:10 +01:00
22 lines
604 B
Bash
Executable file
22 lines
604 B
Bash
Executable file
#!/usr/bin/env bash
|
|
|
|
base=$(basename "$0")
|
|
|
|
TRACK_ORIGINS=
|
|
|
|
VALGRIND_VERSION=$(valgrind --version)
|
|
VALGRIND_MAJOR=$(expr "$VALGRIND_VERSION" : '[^0-9]*\([0-9]*\)')
|
|
VALGRIND_MINOR=$(expr "$VALGRIND_VERSION" : '[^0-9]*[0-9]*\.\([0-9]*\)')
|
|
test 3 -gt "$VALGRIND_MAJOR" ||
|
|
test 3 -eq "$VALGRIND_MAJOR" -a 4 -gt "$VALGRIND_MINOR" ||
|
|
TRACK_ORIGINS=--track-origins=yes
|
|
|
|
exec valgrind -q --error-exitcode=126 \
|
|
--leak-check=no \
|
|
--suppressions="$GIT_VALGRIND/suppressions" \
|
|
--gen-suppressions=all \
|
|
$TRACK_ORIGINS \
|
|
--log-fd=4 \
|
|
--input-fd=4 \
|
|
$GIT_VALGRIND_OPTIONS \
|
|
"$GIT_VALGRIND"/../../"$base" "$@"
|