| Index: tools/valgrind/test_suppressions.py
|
| diff --git a/tools/valgrind/test_suppressions.py b/tools/valgrind/test_suppressions.py
|
| old mode 100644
|
| new mode 100755
|
| index 1492e52d8041e567116b8077af3f01ad193e44b5..d9a6cb47031a3d3eaaadbed040f01c4a1b6a33ff
|
| --- a/tools/valgrind/test_suppressions.py
|
| +++ b/tools/valgrind/test_suppressions.py
|
| @@ -98,10 +98,10 @@ def main(argv):
|
| elif all([re.search("%20Heapcheck", url)
|
| for url in all_reports[r]]):
|
| cur_supp += heapcheck_suppressions
|
| - elif all(["DrMemory%20full" in url for url in all_reports[r]]):
|
| - cur_supp += drmem_suppressions + drmem_full_suppressions
|
| - elif all(["DrMemory" in url for url in all_reports[r]]):
|
| + if all(["DrMemory" in url for url in all_reports[r]]):
|
| cur_supp += drmem_suppressions
|
| + if all(["DrMemory%20full" in url for url in all_reports[r]]):
|
| + cur_supp += drmem_full_suppressions
|
|
|
| match = False
|
| for s in cur_supp:
|
|
|