diff options
| author | Carl Hetherington <cth@carlh.net> | 2013-05-09 14:20:41 +0100 |
|---|---|---|
| committer | Carl Hetherington <cth@carlh.net> | 2013-05-09 14:20:41 +0100 |
| commit | 1f346bdabfa6eebe011a7b61d93e40f3037d5799 (patch) | |
| tree | e26c5049d5e167d9ec8ab142bfc2fd965f35b875 | |
| parent | fae9d594f73fe32943ee21d0fe600fd8302c3102 (diff) | |
Add massif option.
| -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 |