From ac441fdd64929de08bbb0ba17b82d63405f0898b Mon Sep 17 00:00:00 2001 From: John Wiegley Date: Thu, 7 Aug 2008 22:56:25 -0400 Subject: Removed the need for an external valgrind.sh script. Using autoconf instead. --- valgrind.sh | 9 --------- 1 file changed, 9 deletions(-) delete mode 100755 valgrind.sh (limited to 'valgrind.sh') 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 -- cgit v1.2.3