[ticket/12141] Disable broken opcache extension on PHP 5.5.7.

PHPBB3-12141
wk1989 · Feb 4, 2014 · cb544ed · cb544ed
1 parent ac954a7
commit cb544ed
Showing 1 changed file with 6 additions and 0 deletions.
diff --git 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