Merge master.

[dcpomatic.git] / run / dcpomatic_batch

diff --git a/run/dcpomatic_batch b/run/dcpomatic_batch
index ac2d0e39a60eccd3d102e0923051da702c77bb70..80cf5291c8a1eee80e2a0af05e2f0eae5b00e438 100755 (executable)
--- a/run/dcpomatic_batch
+++ b/run/dcpomatic_batch
@@ -6,7 +6,10 @@ if [ "$1" == "--debug" ]; then
     gdb --args build/src/tools/dcpomatic_batch $*
 elif [ "$1" == "--valgrind" ]; then
     shift
-    valgrind --tool="memcheck" build/src/tools/dcpomatic_batch $*
+    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 $*