Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
produce helpful mira summary for more errors
authorkrauss
Fri, 04 Mar 2011 11:52:54 +0100
changeset 41894 7c4a4b02dbdb
parent 41893 dde7df1176b7
child 41895 a2e9af953b90
produce helpful mira summary for more errors
Admin/mira.py file | annotate | diff | comparison | revisions 
--- a/Admin/mira.py	Fri Mar 04 00:09:47 2011 +0100
+++ b/Admin/mira.py	Fri Mar 04 11:52:54 2011 +0100
@@ -79,7 +79,7 @@
 
 def extract_isabelle_run_summary(logdata):
 
-    re_error = re.compile(r'^\*\*\* (.*)$', re.MULTILINE)
+    re_error = re.compile(r'^(?:make: )?\*\*\* (.*)$', re.MULTILINE)
     summary = '\n'.join(re_error.findall(logdata))
     if summary == '':
         summary = 'ok'
isabelle