Merge branch 'maint'
[git.git] / t / valgrind / valgrind.sh
blob42153036dcfdee66e54fa4bd777ad3c36233d640
1 #!/bin/sh
3 base=$(basename "$0")
5 TOOL_OPTIONS='--leak-check=no'
7 test -z "$GIT_VALGRIND_ENABLED" &&
8 exec "$GIT_VALGRIND"/../../"$base" "$@"
10 case "$GIT_VALGRIND_MODE" in
11 memcheck-fast)
13 memcheck)
14 VALGRIND_VERSION=$(valgrind --version)
15 VALGRIND_MAJOR=$(expr "$VALGRIND_VERSION" : '[^0-9]*\([0-9]*\)')
16 VALGRIND_MINOR=$(expr "$VALGRIND_VERSION" : '[^0-9]*[0-9]*\.\([0-9]*\)')
17 test 3 -gt "$VALGRIND_MAJOR" ||
18 test 3 -eq "$VALGRIND_MAJOR" -a 4 -gt "$VALGRIND_MINOR" ||
19 TOOL_OPTIONS="$TOOL_OPTIONS --track-origins=yes"
22 TOOL_OPTIONS="--tool=$GIT_VALGRIND_MODE"
23 esac
25 exec valgrind -q --error-exitcode=126 \
26 --gen-suppressions=all \
27 --suppressions="$GIT_VALGRIND/default.supp" \
28 $TOOL_OPTIONS \
29 --log-fd=4 \
30 --input-fd=4 \
31 $GIT_VALGRIND_OPTIONS \
32 "$GIT_VALGRIND"/../../"$base" "$@"