From d6082c846d53389e392e90e2a82c4a3036dd1f2d Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 6 Dec 2006 11:45:08 +0000 Subject: [PATCH] interactive and bad_tests grepped out before insertion in the DB --- 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 70656ad1f..72105b2e0 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\)" | \ +cat LOG | grep "\(OK\|FAIL\)" | grep "\(gc-on\|gc-off\)" | grep -v "bad_tests" | grep -v "interactive" |\ lua5.1 $PWD/helm/software/matita/scripts/functions.lua log2sql - > INSERT.sql cat INSERT.sql | $MYSQL -- 2.39.2