shell: replace valgrind wrapper with environment variable

[config/dotfiles.git] / shell / shell / env

diff --git a/shell/shell/env b/shell/shell/env
index 1d36c1b2480b0d6d4ee825210773b859c140e4de..b3ff0c38079eed28e44ac7c0bb964fd85323a1a6 100644 (file)
--- a/shell/shell/env
+++ b/shell/shell/env
@@ -139,6 +139,15 @@ fi
 MTR_OPTIONS='--show-ips'
 export MTR_OPTIONS
 
+# Additional command line options for `valgrind`.
+VALGRIND_OPTS=
+VALGRIND_OPTS="$VALGRIND_OPTS --quiet"
+VALGRIND_OPTS="$VALGRIND_OPTS --error-exitcode=1"
+VALGRIND_OPTS="$VALGRIND_OPTS --memcheck:leak-check=full"
+VALGRIND_OPTS="$VALGRIND_OPTS --memcheck:show-reachable=yes"
+VALGRIND_OPTS="$VALGRIND_OPTS --memcheck:track-fds=yes"
+export VALGRIND_OPTS
+
 # Use short SSH timeout for Git commands so remote fetches/pushes fail
 # quickly. Thanks to ceddral for the idea.
 GIT_SSH_COMMAND='ssh -o ConnectTimeout=3'