From 418b1f26ab67b824c79d1146fdb50ca29b34c1f6 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 5 Sep 2008 08:48:21 +0000 Subject: [PATCH] ... --- helm/software/matita/scripts/profile_svn.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/matita/scripts/profile_svn.sh b/helm/software/matita/scripts/profile_svn.sh index 0d23914c8..8a77eae00 100755 --- a/helm/software/matita/scripts/profile_svn.sh +++ b/helm/software/matita/scripts/profile_svn.sh @@ -66,7 +66,7 @@ compile $PWD/helm/software/ run_tests $PWD/helm/software/matita > LOG 2>LOG.run_tests.err #insert the db -cat LOG | grep "\(OK\|FAIL\)" | grep "\(gc-on\|gc-off\)" | grep -v "bad_tests" | grep -v "interactive" |\ +cat LOG | grep "\(OK\|FAIL\)" | grep "\(gc-on\|gc-off\)" | grep -v "bad_tests" | grep "^matitac" | grep -v "interactive" |\ lua5.1 $PWD/helm/software/matita/scripts/functions.lua log2sql - > INSERT.sql cat INSERT.sql | $MYSQL -- 2.39.2