rm -rf $TMPDIRNAME
mkdir $TMPDIRNAME
cd $TMPDIRNAME
-#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 | awk '{print $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 | awk '{print $2}'`
+
+if [ -z "$CUR_TIME" -o -z "$OLD_TIME" ]; then
+ echo "No benchamks records for $MARK"
+ exit 1
+fi
+
((DELTA=$CUR_TIME - $OLD_TIME))
if [ $DELTA -lt 0 ]; then
- ((DELTA=$DELTA * -1))
+ PERC=0
+else
+ ((PERC=100 * $DELTA))
+ ((PERC=$PERC / $OLD_TIME))
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
+ http://mowgli.cs.unibo.it/~tassi/bench.php
PREFORMANCE LOSS DETECTED
is $CUR_TIME sec
if [ $CUR_FAIL -gt $OLD_FAIL ]; then
cat <<EOT
REPORT FOR `date`
- http://mowgli.cs.unibo.it/tassi/bench.php
+ http://mowgli.cs.unibo.it/~tassi/bench.php
MORE BROKEN TESTS DETECTED
now broken: