| 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)]
|
|
|