diff options
Diffstat (limited to 'doval')
-rwxr-xr-x | doval | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,2 +1,2 @@ #!/bin/bash -valgrind --tool=memcheck --error-limit=no --suppressions=debug/valgrind-suppress --gen-suppressions=all --leak-check=yes --num-callers=32 $* +valgrind --tool=memcheck --error-limit=no --suppressions=debug/valgrind-suppress --gen-suppressions=all --leak-check=full --show-reachable=yes --num-callers=32 $* |