diff options
Diffstat (limited to 'tools/valgrind/valgrind_test.py')
| -rwxr-xr-x | tools/valgrind/valgrind_test.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/valgrind/valgrind_test.py b/tools/valgrind/valgrind_test.py index 0280b1d..4798e3c 100755 --- a/tools/valgrind/valgrind_test.py +++ b/tools/valgrind/valgrind_test.py @@ -754,7 +754,7 @@ class DrMemory(BaseTool): proc += ["-logdir", self.temp_dir] proc += ["-batch", "-quiet"] - proc += ["-no_check_leaks", "-no_count_leaks"] + #proc += ["-no_check_leaks", "-no_count_leaks"] # Dr.Memory requires -- to separate tool flags from the executable name. proc += ["--"] |