From 7b665a18a1a4bc4dbc170322db11ebec10f70973 Mon Sep 17 00:00:00 2001 From: Andreas Fischer Date: Thu, 4 Sep 2014 04:23:11 +0200 Subject: [PATCH 1/2] runkit: Change git from git:// to https:// --- travis/install-php-extensions.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/travis/install-php-extensions.sh b/travis/install-php-extensions.sh index 0f8835ee..8431bcf0 100755 --- a/travis/install-php-extensions.sh +++ b/travis/install-php-extensions.sh @@ -23,6 +23,6 @@ function install_php_extension if [ "$TRAVIS_PHP_VERSION" != "5.6" ] then # runkit - git clone git://github.com/zenovich/runkit.git + git clone https://github.com/zenovich/runkit.git install_php_extension 'runkit' fi From 3fc86d641cddc7801a8e114c5957e754132f9055 Mon Sep 17 00:00:00 2001 From: Andreas Fischer Date: Thu, 4 Sep 2014 22:47:48 +0200 Subject: [PATCH 2/2] runkit: Provide alternative repository for PHP 5.6. --- travis/install-php-extensions.sh | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) 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'