mirror of
https://github.com/phpseclib/phpseclib.git
synced 2024-11-16 02:07:09 +00:00
runkit: Provide alternative repository for PHP 5.6.
This commit is contained in:
parent
7b665a18a1
commit
3fc86d641c
@ -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'
|
||||
|
Loading…
Reference in New Issue
Block a user