Admin/mira.py
changeset 41894 7c4a4b02dbdb
parent 41652 4f4336e730b9
child 42040 869df9b88deb
equal deleted inserted replaced
41893:dde7df1176b7 41894:7c4a4b02dbdb
    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