changes
This commit is contained in:
parent
92b85dde25
commit
f246add263
1 changed files with 0 additions and 9 deletions
|
|
@ -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
|
|
||||||
Loading…
Add table
Reference in a new issue