From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Sat, 23 Sep 2006 16:07:53 +0000 (+0000)
Subject: using lua5.1 instead of lua50
X-Git-Tag: 0.4.95@7852~1005
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=09a8511f70bc21c74beff39700dbbe01b2bf3235;p=helm.git

using lua5.1 instead of lua50
---

diff --git a/matita/scripts/crontab.sh b/matita/scripts/crontab.sh
index b3528cee6..51e090d98 100644
--- a/matita/scripts/crontab.sh
+++ b/matita/scripts/crontab.sh
@@ -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
diff --git a/matita/scripts/profile_svn.sh b/matita/scripts/profile_svn.sh
index b5ddfb0f6..4c415e0d3 100755
--- a/matita/scripts/profile_svn.sh
+++ b/matita/scripts/profile_svn.sh
@@ -67,7 +67,7 @@ run_tests $PWD/helm/software/matita > LOG 2>LOG.run_tests.err
 
 #insert the db
 cat LOG | grep "\(OK\|FAIL\)" | grep "\(gc-on\|gc-off\)" | \
-  lua50 $PWD/helm/software/matita/scripts/functions.lua log2sql - > INSERT.sql
+  lua5.1 $PWD/helm/software/matita/scripts/functions.lua log2sql - > INSERT.sql
 cat INSERT.sql | $MYSQL
 
 #save the revision