Add --massif option to dcpomatic_batch.

diff --git a/run/dcpomatic_batch b/run/dcpomatic_batch
index 78ee8f7be0a19a2e6ef5796af1d1e22057136a3d..80cf5291c8a1eee80e2a0af05e2f0eae5b00e438 100755 (executable)
--- 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 $*