X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fscripts%2Ffunctions.lua;h=e6935fb5cc3c924588a4d247bdf1ae45b26b53f0;hb=f2e7cb9757a151382ed3a70d1a610e8f729a6597;hp=a7c4d36697406cc865ccda75a141f23a0cd62b3b;hpb=bf8a6aa5782c9b539ac6cf11ee68f20b7d2c83a6;p=helm.git

diff --git a/matita/scripts/functions.lua b/matita/scripts/functions.lua
index a7c4d3669..e6935fb5c 100755
--- a/matita/scripts/functions.lua
+++ b/matita/scripts/functions.lua
@@ -1,8 +1,8 @@
 #!/usr/bin/lua5.1
 
 local tool_re = "^([%w%.]+)"
-local test_re = "([%w%./_]+)"
-local rc_re = "([%a]+)"
+local test_re = "([%w%./_-]+)"
+local rc_re = string.char(27).."%[%d+;%d+m([%a]+)"..string.char(27).."%[0m"
 local time_re = "(%d+m%d+%.%d+s)"
 local mark_re = "(%d+)"
 local opt_re = "(gc%-%a+)$"
@@ -42,7 +42,7 @@ for l in f:lines() do
 	local x,_,tool,test,rc,real,user,_,mark,opt = string.find(l,re)
 
 	if x == nil then
-		error("regex failed on " .. l)
+    error("regex failed on '"..l.."'")
 	end
 
 	-- check the result is valid