diff options
| -rwxr-xr-x | run/dcpomatic_batch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/run/dcpomatic_batch b/run/dcpomatic_batch index ac2d0e39a..78ee8f7be 100755 --- a/run/dcpomatic_batch +++ b/run/dcpomatic_batch @@ -6,7 +6,7 @@ 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" == "--callgrind" ]; then shift valgrind --tool="callgrind" build/src/tools/dcpomatic_batch $* |