From: Enrico Tassi Date: Fri, 1 Jul 2005 08:06:46 +0000 (+0000) Subject: in case of performace improvement there is no performace loss message X-Git-Tag: PRE_GETTER_STORAGE~82 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c9f5797131d051fb7ae6dd4008c57e9015365739;p=helm.git in case of performace improvement there is no performace loss message --- diff --git a/helm/matita/scripts/crontab.sh b/helm/matita/scripts/crontab.sh index 67edb84e2..e3f8243e5 100644 --- a/helm/matita/scripts/crontab.sh +++ b/helm/matita/scripts/crontab.sh @@ -21,11 +21,11 @@ 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 <