helm/matita/scripts/crontab.sh

   1 MARK=`date +%Y%m%d`
   2 TMPDIRNAME=.__${MARK}_crontab
   3 CVSROOT=":ext:$USER@marcello.cs.unibo.it:/home/faculty/PROJECTS/cvs/helm"
   4
   5 OLD=$PWD
   6 rm -rf $TMPDIRNAME
   7 mkdir $TMPDIRNAME
   8 cd $TMPDIRNAME
   9 cvs -d $CVSROOT co helm/matita/scripts 1>/dev/null 2>/dev/null
  10 helm/matita/scripts/profile_cvs.sh 2> LOG
  11
  12 cat <<EOT
  13 REPORT FOR `date`
  14 http://mowgli.cs.unibo.it/tassi/bench.php
  15
  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`
  18
  19
  20 DAILY BENCHMARK REPORT (DETAILED)
  21 `echo "select * from bench where mark = \"$MARK\";" | mysql -u helm -h mowgli.cs.unibo.it matita`
  22
  23 COMPILATION OUTPUT
  24 `cat LOG`
  25
  26 EOT
  27 cd $OLD
  28 rm -rf $TMPDIRNAME
  29