Index: tools/valgrind/valgrind_test.py |
diff --git a/tools/valgrind/valgrind_test.py b/tools/valgrind/valgrind_test.py |
index 554b2f7a861c3f1d0471f61b00206a1bcdf32f61..ed5bdf51884777a732403a3d0a4c68394c3911d3 100644 |
--- a/tools/valgrind/valgrind_test.py |
+++ b/tools/valgrind/valgrind_test.py |
@@ -828,7 +828,10 @@ class DrMemory(BaseTool): |
raise RuntimeError, "Configuring python children failed " |
suppression_count = 0 |
- for suppression_file in self._options.suppressions: |
+ supp_files = self._options.suppressions |
+ if self.handle_uninits_and_leaks: |
+ supp_files += [s.replace(".txt", "_full.txt") for s in supp_files] |
+ for suppression_file in supp_files: |
if os.path.exists(suppression_file): |
suppression_count += 1 |
proc += ["-suppress", common.NormalizeWindowsPath(suppression_file)] |