build.sh tell which php version it is running

build.sh

@@ -3,6 +3,7 @@ DBNAME=$1
 DBUSER=$2
 DBPASS=$3
 DBHOST=$4
+
 source ./update.sh
 cp config.ini.default config.ini
 sed -i "s/sgbd.config.host = localhost/sgbd.config.host = $DBHOST/g" config.ini
@@ -10,6 +11,9 @@ sed -i "s/sgbd.config.username =/sgbd.config.username = $DBUSER/g" config.ini
 sed -i "s/sgbd.config.password =/sgbd.config.password = $DBPASS/g" config.ini
 sed -i "s/sgbd.config.dbname =/sgbd.config.dbname = $DBNAME/g" config.ini
 touch local.php
+
+php --version
+
 php scripts/upgrade_db.php
 
 cd cosmogramme