diff options
Diffstat (limited to 'travis/setup-php-extensions.sh')
| -rwxr-xr-x | travis/setup-php-extensions.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/travis/setup-php-extensions.sh b/travis/setup-php-extensions.sh index 18d6e7e09d..ebfe62839c 100755 --- a/travis/setup-php-extensions.sh +++ b/travis/setup-php-extensions.sh @@ -37,6 +37,12 @@ function install_php_extension php_ini_file=$(find_php_ini) +# disable broken opcache on PHP 5.5.7 +if [ `php -r "echo (int) version_compare(PHP_VERSION, '5.5.8', '<');"` == "1" ] +then + sed -i '/opcache.so/d' "$php_ini_file" +fi + # apc if [ `php -r "echo (int) version_compare(PHP_VERSION, '5.5.0-dev', '<');"` == "1" ] then |