diff options
Diffstat (limited to 'run/makedcp')
| -rwxr-xr-x | run/makedcp | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/run/makedcp b/run/makedcp index f71345b66..2b95ea165 100755 --- a/run/makedcp +++ b/run/makedcp @@ -4,9 +4,12 @@ export LD_LIBRARY_PATH=build/src/lib:$LD_LIBRARY_PATH:build/src if [ "$1" == "--debug" ]; then shift gdb --args build/src/tools/makedcp "$@" -elif [ "$1" == "--valgrind" ]; then +elif [ "$1" == "--memcheck" ]; then shift valgrind --tool="memcheck" --leak-check=full --show-reachable=yes build/src/tools/makedcp "$@" +elif [ "$1" == "--massif" ]; then + shift + valgrind --tool="massif" build/src/tools/makedcp "$@" else build/src/tools/makedcp "$@" fi |