diff options
author | Jordi Boggiano <j.boggiano@seld.be> | 2017-06-19 00:03:59 +0200 |
---|---|---|
committer | Jordi Boggiano <j.boggiano@seld.be> | 2017-06-19 00:03:59 +0200 |
commit | 9cf8fb3810c3d0c0c9a3de1e3adb60198ac02f61 (patch) | |
tree | 6b0d2486b724598f78069563bbabb9cfb1748d93 | |
parent | 70ed794fb2fefd60d44ac0694e0e0a2b5e952043 (diff) | |
download | monolog-9cf8fb3810c3d0c0c9a3de1e3adb60198ac02f61.zip monolog-9cf8fb3810c3d0c0c9a3de1e3adb60198ac02f61.tar.gz monolog-9cf8fb3810c3d0c0c9a3de1e3adb60198ac02f61.tar.bz2 |
Tweak extension loading
-rw-r--r-- | .travis.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 7a8c0c2..fd8a171 100644 --- a/.travis.yml +++ b/.travis.yml @@ -22,8 +22,9 @@ matrix: fast_finish: true before_script: - - if [[ $TRAVIS_PHP_VERSION = 5.* ]]; then echo "extension = mongo.so" >> ~/.phpenv/versions/$(phpenv version-name)/etc/php.ini; fi + - if [[ $TRAVIS_PHP_VERSION = 5.* ]]; then echo "extension = mongo.so" >> ~/.phpenv/versions/$(phpenv version-name)/etc/php.ini; else; echo "extension = mongodb.so" >> ~/.phpenv/versions/$(phpenv version-name)/etc/php.ini; fi - if [ "`phpenv version-name`" != "hhvm" ]; then echo "extension = amqp.so" >> ~/.phpenv/versions/$(phpenv version-name)/etc/php.ini; fi + - if [ "`phpenv version-name`" != "hhvm" ]; then echo "extension = redis.so" >> ~/.phpenv/versions/$(phpenv version-name)/etc/php.ini; fi - if [ "$deps" == "low" ]; then composer update --prefer-source --prefer-lowest --prefer-stable; fi - if [ "$deps" != "low" ]; then composer install --prefer-source; fi |