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