1 files changed, 0 insertions, 9 deletions
diff --git a/valgrind.sh b/valgrind.sh
deleted file mode 100755
index fe292f44..00000000
--- a/valgrind.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/bash
-
-VALGRIND=$(which valgrind 2>&1)
-
-if [ -x "$VALGRIND" ]; then
-    exec "$VALGRIND" --leak-check=full --show-reachable=yes "$@"
-else
-    exec "$@"
-fi