diff options
Diffstat (limited to 'tools/valgrind/drmemory_analyze.py')
-rwxr-xr-x | tools/valgrind/drmemory_analyze.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/valgrind/drmemory_analyze.py b/tools/valgrind/drmemory_analyze.py index 7f3eb76..2f58877 100755 --- a/tools/valgrind/drmemory_analyze.py +++ b/tools/valgrind/drmemory_analyze.py @@ -103,7 +103,7 @@ class DrMemoryAnalyze: break tmp = [] - match = re.search("Error .*: (.*)", self.line_) + match = re.search("Error #[0-9]+: (.*)", self.line_) if match: self.line_ = match.groups()[0].strip() + "\n" tmp.extend(self.ReadSection()) |