diff options
| author | John Wiegley <johnw@newartisans.com> | 2007-05-08 10:32:31 +0000 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2008-04-13 03:38:42 -0400 |
| commit | f246add2630ad329d3e078709888be57b4f3fa33 (patch) | |
| tree | 6af7478e962b9f4fcce562ef3ed6c2a0fa809134 | |
| parent | 92b85dde25b683e1cf58dbab9a7500d81cb2c418 (diff) | |
| download | fork-ledger-f246add2630ad329d3e078709888be57b4f3fa33.tar.gz fork-ledger-f246add2630ad329d3e078709888be57b4f3fa33.tar.bz2 fork-ledger-f246add2630ad329d3e078709888be57b4f3fa33.zip | |
changes
| -rwxr-xr-x | valgrind.sh | 9 |
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 |