mirror of
https://github.com/git/git.git
synced 2024-10-30 22:07:53 +01:00
5caa81d1b4
Valgrind 3.4.0 is pretty new, and even if --track-origins is a nice feature, it is not the end of the world if that is not available. So play nice and use that option only when only an older version of valgrind is available. In the same spirit, refrain from the use of '...' in suppression files, which is also a feature only valgrind 3.4 and newer understand. Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de> Signed-off-by: Junio C Hamano <gitster@pobox.com>
22 lines
594 B
Bash
Executable file
22 lines
594 B
Bash
Executable file
#!/bin/sh
|
|
|
|
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/default.supp" \
|
|
--gen-suppressions=all \
|
|
$TRACK_ORIGINS \
|
|
--log-fd=4 \
|
|
--input-fd=4 \
|
|
$GIT_VALGRIND_OPTIONS \
|
|
"$GIT_VALGRIND"/../../"$base" "$@"
|