From 303202bdb889e90139d005ee7a0fd43c2081235f Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 28 Mar 2006 08:41:01 +0000
Subject: [PATCH] deals with colors

---
 matita/scripts/functions.lua | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/matita/scripts/functions.lua b/matita/scripts/functions.lua
index a7c4d3669..d30988530 100755
--- a/matita/scripts/functions.lua
+++ b/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