diff options
Diffstat (limited to 'tools/valgrind/valgrind_test.py')
| -rwxr-xr-x | tools/valgrind/valgrind_test.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/valgrind/valgrind_test.py b/tools/valgrind/valgrind_test.py index 0a23088..b250035 100755 --- a/tools/valgrind/valgrind_test.py +++ b/tools/valgrind/valgrind_test.py @@ -412,6 +412,9 @@ class ThreadSanitizer(ValgrindTool): if os.path.exists(fullname): ret += ["--ignore=%s" % fullname] + # The -v flag is needed for printing the list of used suppressions. + ret += ["-v"] + ret += ["--file-prefix-to-cut=%s/" % self._source_dir] if self.EvalBoolFlag(self._options.pure_happens_before): |