From fb53caa837dad54352753c100094027dd8e45334 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 24 Jun 2005 10:39:26 +0000
Subject: [PATCH] fix

---
 helm/matita/scripts/crontab.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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
-- 
2.39.2