From e4f6fdd22ef7d02c7d34d5f44f4caf3fb360638f Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 28 Mar 2006 08:41:01 +0000 Subject: [PATCH] deals with colors --- helm/software/matita/scripts/functions.lua | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/helm/software/matita/scripts/functions.lua b/helm/software/matita/scripts/functions.lua index a7c4d3669..d30988530 100755 --- a/helm/software/matita/scripts/functions.lua +++ b/helm/software/matita/scripts/functions.lua @@ -2,7 +2,7 @@ local tool_re = "^([%w%.]+)" local test_re = "([%w%./_]+)" -local rc_re = "([%a]+)" +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 -- 2.39.2