mod change (-x)

[helm.git] / helm / software / matita / scripts / functions.lua

diff --git a/helm/software/matita/scripts/functions.lua b/helm/software/matita/scripts/functions.lua
old mode 100755 (executable)
new mode 100644 (file)
index a7c4d36..e6935fb
--- a/helm/software/matita/scripts/functions.lua
+++ b/helm/software/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