Merge pull request #464 from bantu/runkit-php5.6

Restore runkit on Travis CI PHP 5.6.

* bantu/runkit-php5.6:
  runkit: Provide alternative repository for PHP 5.6.
  runkit: Change git from git:// to https://
This commit is contained in:
Andreas Fischer 2014-09-04 22:59:18 +02:00
commit 2ef5a00dff

View File

@ -20,9 +20,11 @@ function install_php_extension
echo "extension=$1.so" >> `php --ini | grep "Loaded Configuration" | sed -e "s|.*:\s*||"` 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 then
# runkit git clone https://github.com/adrianguenter/runkit.git
git clone git://github.com/zenovich/runkit.git else
install_php_extension 'runkit' git clone https://github.com/zenovich/runkit.git
fi fi
install_php_extension 'runkit'