projects
/
dcpomatic.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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
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 $*
elif [ "$1" == "--callgrind" ]; then
shift
valgrind --tool="callgrind" build/src/tools/dcpomatic_batch $*