+++ /dev/null
-#!/bin/sh
-
-# Copyright (C) 2011-2014 Simon Ruderich
-#
-# This program is free software: you can redistribute it and/or modify
-# it under the terms of the GNU General Public License as published by
-# the Free Software Foundation, either version 3 of the License, or
-# (at your option) any later version.
-#
-# This program is distributed in the hope that it will be useful,
-# but WITHOUT ANY WARRANTY; without even the implied warranty of
-# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
-# GNU General Public License for more details.
-#
-# You should have received a copy of the GNU General Public License
-# along with this program. If not, see <http://www.gnu.org/licenses/>.
-
-
-set -eu
-
-exec valgrind --leak-check=full --show-reachable=yes --error-exitcode=1 \
- --track-fds=yes --quiet "$@"
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'