diff options
| author | Andreas Fischer <bantu@phpbb.com> | 2014-02-03 22:26:00 +0100 |
|---|---|---|
| committer | Andreas Fischer <bantu@phpbb.com> | 2014-02-04 02:16:36 +0100 |
| commit | cb544ed7ae04a44c305b252644b8c6bc40f6e2dc (patch) | |
| tree | e401a622ac72d75fb05143ea2a4ba98aaff3dfb4 | |
| parent | ac954a7c4b6daefe1efcc4ebe047c8818ca4497a (diff) | |
| download | forums-cb544ed7ae04a44c305b252644b8c6bc40f6e2dc.tar forums-cb544ed7ae04a44c305b252644b8c6bc40f6e2dc.tar.gz forums-cb544ed7ae04a44c305b252644b8c6bc40f6e2dc.tar.bz2 forums-cb544ed7ae04a44c305b252644b8c6bc40f6e2dc.tar.xz forums-cb544ed7ae04a44c305b252644b8c6bc40f6e2dc.zip | |
[ticket/12141] Disable broken opcache extension on PHP 5.5.7.
PHPBB3-12141
| -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 |