From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 24 Jun 2005 10:39:26 +0000 (+0000)
Subject: fix
X-Git-Tag: INDEXING_NO_PROOFS~73
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=fb53caa837dad54352753c100094027dd8e45334;p=helm.git

fix
---

diff --git a/helm/matita/scripts/crontab.sh b/helm/matita/scripts/crontab.sh
index d8ac761b3..03ce5ce95 100644
--- a/helm/matita/scripts/crontab.sh
+++ b/helm/matita/scripts/crontab.sh
@@ -7,10 +7,10 @@ rm -rf $TMPDIRNAME
 mkdir $TMPDIRNAME
 cd $TMPDIRNAME
 cvs -d $CVSROOT co helm/matita/scripts 1>/dev/null 2>/dev/null
-bash helm/matita/scripts/profile_cvs.sh > LOG 1>&2
+helm/matita/scripts/profile_cvs.sh 2> LOG
 
 cat <<EOT
-WEB INTERFACE
+REPORT FOR `date`
 http://mowgli.cs.unibo.it/tassi/bench.php
 
 DAILY BENCHMARK REPORT