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