aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rwxr-xr-xsrc/valgrind.sh18
1 files changed, 0 insertions, 18 deletions
diff --git a/src/valgrind.sh b/src/valgrind.sh
deleted file mode 100755
index db05a1d..0000000
--- a/src/valgrind.sh
+++ /dev/null
@@ -1,18 +0,0 @@
-#!/usr/bin/env bash
-
-set -o errexit -o nounset -o pipefail
-shopt -s inherit_errexit lastpipe
-
-if ! command -v valgrind &> /dev/null; then
- echo 'Please make sure valgrind is available.' >&2
- exit 1
-fi
-
-exec valgrind -q \
- --error-exitcode=10 \
- --leak-check=full \
- --show-leak-kinds=all \
- --track-origins=yes \
- --track-fds=yes \
- --trace-children=yes \
- "$@"