equal
deleted
inserted
replaced
77 return t |
77 return t |
78 |
78 |
79 |
79 |
80 def extract_isabelle_run_summary(logdata): |
80 def extract_isabelle_run_summary(logdata): |
81 |
81 |
82 re_error = re.compile(r'^\*\*\* (.*)$', re.MULTILINE) |
82 re_error = re.compile(r'^(?:make: )?\*\*\* (.*)$', re.MULTILINE) |
83 summary = '\n'.join(re_error.findall(logdata)) |
83 summary = '\n'.join(re_error.findall(logdata)) |
84 if summary == '': |
84 if summary == '': |
85 summary = 'ok' |
85 summary = 'ok' |
86 |
86 |
87 return summary |
87 return summary |