Let's try with PHP 5.4

This commit is contained in:
Sébastien Lucas 2013-11-28 20:49:52 +01:00
parent 1c744d73f5
commit 58a3a62a2a
2 changed files with 2 additions and 2 deletions

View file

@ -14,4 +14,4 @@
*/ */
$config['cops_title_default'] = "COPS"; $config['cops_title_default'] = "COPS";
$config['cops_server_side_render'] = "."; // $config['cops_server_side_render'] = ".";

View file

@ -4,7 +4,7 @@ PHP_VERSION=`php -v|grep --only-matching --perl-regexp "PHP 5\.\\d+"`
echo $PHP_VERSION echo $PHP_VERSION
if [[ $PHP_VERSION != "PHP 5.5" ]] if [[ $PHP_VERSION != "PHP 5.4" ]]
then then
echo "Bad PHP version" echo "Bad PHP version"
exit exit