X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fscripts%2Fcrontab.sh;h=f59bcdb97220392a36f07a437d80a84243626c59;hb=b5fdd3c31b9595c0c1c1b9954bcf5a914b2a1fbb;hp=b3528cee6d3f811c702bd9f91f1b07f59af7b181;hpb=233cdc9aa6d59db5f02997a7aa452462f1b47c4a;p=helm.git

diff --git a/helm/software/matita/scripts/crontab.sh b/helm/software/matita/scripts/crontab.sh
index b3528cee6..f59bcdb97 100644
--- a/helm/software/matita/scripts/crontab.sh
+++ b/helm/software/matita/scripts/crontab.sh
@@ -1,5 +1,5 @@
 #!/bin/bash
-set -x
+#set -x
 
 #configuration
 TODAY=`date +%Y%m%d`
@@ -65,15 +65,15 @@ fi
 if [ "$DELTA" -lt 0 ]; then
   PERC=0
 else
-  PREC=`lua50 scripts/functions.lua proportion $DELTA x $OLD_TIME 100`
+  PREC=`lua5.1 scripts/functions.lua proportion $DELTA x $OLD_TIME 100`
 fi
 if [ "$PERC" -ge 5 ]; then
   cat <<EOT
   
   Performance loss detected (MARK $MARK vs MARK $LASTMARK)
   
-  Is: `lua50 scripts/functions.lua t2s $CUR_TIME` 
-  Was: `lua50 scripts/functions.lua t2s $OLD_TIME`
+  Is: `lua5.1 scripts/functions.lua t2s $CUR_TIME` 
+  Was: `lua5.1 scripts/functions.lua t2s $OLD_TIME`
   
   For details: $URL
 EOT