X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fscripts%2Fcrontab.sh;h=f2a0283c084ce845e170c460eeb5c54e66805fa7;hb=41af0583fbc8183183d389303951dca94f2965b0;hp=51e090d98dfedc3a2823d0cedcada5c23d05e5c3;hpb=09a8511f70bc21c74beff39700dbbe01b2bf3235;p=helm.git

diff --git a/matita/scripts/crontab.sh b/matita/scripts/crontab.sh
index 51e090d98..f2a0283c0 100644
--- a/matita/scripts/crontab.sh
+++ b/matita/scripts/crontab.sh
@@ -1,5 +1,5 @@
 #!/bin/bash
-set -x
+#set -x
 
 #configuration
 TODAY=`date +%Y%m%d`
@@ -65,7 +65,7 @@ fi
 if [ "$DELTA" -lt 0 ]; then
   PERC=0
 else
-  PREC=`lua5.1 scripts/functions.lua proportion $DELTA x $OLD_TIME 100`
+  PERC=`lua5.1 scripts/functions.lua proportion $DELTA x $OLD_TIME 100`
 fi
 if [ "$PERC" -ge 5 ]; then
   cat <<EOT