From 0477dd119a3f06c81e7d71123e42441872182440 Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Tue, 8 May 2007 10:32:59 +0000
Subject: Merge branch 'master' of /Users/johnw/src/ledger/master/

---
 valgrind.sh | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100755 valgrind.sh

diff --git a/valgrind.sh b/valgrind.sh
new file mode 100755
index 00000000..fe292f44
--- /dev/null
+++ b/valgrind.sh
@@ -0,0 +1,9 @@
+#!/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