diff --git a/travis/install-php-extensions.sh b/travis/install-php-extensions.sh index 86715703..0f8835ee 100755 --- a/travis/install-php-extensions.sh +++ b/travis/install-php-extensions.sh @@ -20,6 +20,9 @@ function install_php_extension echo "extension=$1.so" >> `php --ini | grep "Loaded Configuration" | sed -e "s|.*:\s*||"` } -# runkit -git clone git://github.com/zenovich/runkit.git -install_php_extension 'runkit' +if [ "$TRAVIS_PHP_VERSION" != "5.6" ] +then + # runkit + git clone git://github.com/zenovich/runkit.git + install_php_extension 'runkit' +fi