From 7b7695bad7e3e2fb5867860f20845edcbc0f77fe Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 11 Jan 2008 15:16:10 +0000 Subject: [PATCH] .opt before .byte --- 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 72105b2e0..0d23914c8 100755 --- a/helm/software/matita/scripts/profile_svn.sh +++ b/helm/software/matita/scripts/profile_svn.sh @@ -12,8 +12,8 @@ function testit { LOGTOOPT=/dev/null LOGTOBYTE=/dev/null export BENCH_EXTRA_TEXT="$MARK $@" - make tests make tests.opt + make tests } function compile { -- 2.39.2