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 \
-    "$@"