-cvs -d $CVSROOT co helm/matita/scripts 1>/dev/null 2>/dev/null
-helm/matita/scripts/profile_cvs.sh 2> LOG
+#cvs -d $CVSROOT co helm/matita/scripts 1>/dev/null 2>/dev/null
+#helm/matita/scripts/profile_cvs.sh 2> LOG
+
+CUR_TIME=`echo "select mark, SUM(TIME_TO_SEC(time)) from bench where mark = \"$MARK\" group by mark;" | mysql -u helm -h mowgli.cs.unibo.it matita | tail -n 1 | cut -f 2`
+OLD_TIME=`echo "select mark, SUM(TIME_TO_SEC(time)) from bench where mark = \"$LASTMARK\" group by mark;" | mysql -u helm -h mowgli.cs.unibo.it matita | tail -n 1 | cut -f 2`
+((DELTA=$CUR_TIME - $OLD_TIME))
+if [ $DELTA -lt 0 ]; then
+ ((DELTA=$DELTA * -1))
+fi
+((PERC=100 * $DELTA))
+((PERC=$PERC / $OLD_TIME))
+
+if [ $PERC -ge 5 ]; then
+ cat <<EOT
+ REPORT FOR `date`
+ http://mowgli.cs.unibo.it/tassi/bench.php
+
+ PREFORMANCE LOSS DETECTED
+ is $CUR_TIME sec
+ was $OLD_TIME sec