From f246add2630ad329d3e078709888be57b4f3fa33 Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Tue, 8 May 2007 10:32:31 +0000
Subject: [PATCH] changes

---
 valgrind.sh | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100755 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