From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 28 Mar 2006 08:41:01 +0000 (+0000)
Subject: deals with colors
X-Git-Tag: make_still_working~7452
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e4f6fdd22ef7d02c7d34d5f44f4caf3fb360638f;p=helm.git

deals with colors
---

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