2 TMPDIRNAME=.__${MARK}_crontab
3 CVSROOT=":ext:$USER@marcello.cs.unibo.it:/home/faculty/PROJECTS/cvs/helm"
9 cvs -d $CVSROOT co helm/matita/scripts 1>/dev/null 2>/dev/null
10 bash helm/matita/scripts/profile_cvs.sh > LOG 1>&2
14 http://mowgli.cs.unibo.it/tassi/bench.php
16 DAILY BENCHMARK REPORT
17 `echo "select mark, SEC_TO_TIME(SUM(TIME_TO_SEC(time))) from bench where mark = \"$MARK\" group by mark;" | mysql -u helm -h mowgli.cs.unibo.it matita`
20 DAILY BENCHMARK REPORT (DETAILED)
21 `echo "select * from bench where mark = \"$MARK\";" | mysql -u helm -h mowgli.cs.unibo.it matita`