summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xrun/dcpomatic_batch3
1 files changed, 3 insertions, 0 deletions
diff --git a/run/dcpomatic_batch b/run/dcpomatic_batch
index 78ee8f7be..80cf5291c 100755
--- a/run/dcpomatic_batch
+++ b/run/dcpomatic_batch
@@ -7,6 +7,9 @@ if [ "$1" == "--debug" ]; then
elif [ "$1" == "--valgrind" ]; then
shift
valgrind --tool="memcheck" --suppressions=valgrind.supp --leak-check=full --show-reachable=yes build/src/tools/dcpomatic_batch $*
+elif [ "$1" == "--massif" ]; then
+ shift
+ valgrind --tool="massif" build/src/tools/dcpomatic_batch $*
elif [ "$1" == "--callgrind" ]; then
shift
valgrind --tool="callgrind" build/src/tools/dcpomatic_batch $*