From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 3 Oct 2006 12:15:00 +0000 (+0000)
Subject: Regular expression fixed to allow '-' into test names.
X-Git-Tag: make_still_working~6800
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=13c3d9ad1305b757a7c0023e629d26d0a6b1ca9f;p=helm.git

Regular expression fixed to allow '-' into test names.
---

diff --git a/helm/software/matita/scripts/functions.lua b/helm/software/matita/scripts/functions.lua
index d30988530..e6935fb5c 100755
--- a/helm/software/matita/scripts/functions.lua
+++ b/helm/software/matita/scripts/functions.lua
@@ -1,7 +1,7 @@
 #!/usr/bin/lua5.1
 
 local tool_re = "^([%w%.]+)"
-local test_re = "([%w%./_]+)"
+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+)"