From eaf2ee7d082200359976f30a93263277babe6b94 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Sun, 17 May 2009 18:43:33 +0000 Subject: [PATCH] byte tests disabled --- 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 8a77eae00..c0eb466a5 100755 --- a/helm/software/matita/scripts/profile_svn.sh +++ b/helm/software/matita/scripts/profile_svn.sh @@ -13,7 +13,7 @@ function testit { LOGTOBYTE=/dev/null export BENCH_EXTRA_TEXT="$MARK $@" make tests.opt - make tests + #make tests } function compile { -- 2.39.2