diff options
| author | Joas Schilling <nickvergessen@gmx.de> | 2014-03-16 16:09:14 +0100 |
|---|---|---|
| committer | Joas Schilling <nickvergessen@gmx.de> | 2014-03-16 16:36:58 +0100 |
| commit | ada37226bf35a8a15c8350cd959c26d2fe480d54 (patch) | |
| tree | bbb95c8889775b77075ac37d0c42ac836c7d53f9 /travis/setup-php-extensions.sh | |
| parent | 325931a56bcaf23fb8bb3e1e3395ed739714f5d9 (diff) | |
| download | forums-ada37226bf35a8a15c8350cd959c26d2fe480d54.tar forums-ada37226bf35a8a15c8350cd959c26d2fe480d54.tar.gz forums-ada37226bf35a8a15c8350cd959c26d2fe480d54.tar.bz2 forums-ada37226bf35a8a15c8350cd959c26d2fe480d54.tar.xz forums-ada37226bf35a8a15c8350cd959c26d2fe480d54.zip | |
[ticket/12281] Disable redis on travis until its fixed again
/home/travis/build/phpbb/phpbb/redis/redis.c:6141:34:
error: unknown type name ‘tsrm_ls’
make: *** [redis.lo] Error 1
The command "sh -c "if [ '$TRAVIS_PHP_VERSION' != 'hhvm' ];
then travis/setup-php-extensions.sh; fi"" failed
and exited with 2 during install.
PHPBB3-12281
Diffstat (limited to 'travis/setup-php-extensions.sh')
| -rwxr-xr-x | travis/setup-php-extensions.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/travis/setup-php-extensions.sh b/travis/setup-php-extensions.sh index 86e3aaae47..826ee7409a 100755 --- a/travis/setup-php-extensions.sh +++ b/travis/setup-php-extensions.sh @@ -52,5 +52,6 @@ then fi # redis -git clone git://github.com/nicolasff/phpredis.git redis -install_php_extension 'redis' "$php_ini_file" +# Disabled redis for now as it causes travis to fail +# git clone git://github.com/nicolasff/phpredis.git redis +# install_php_extension 'redis' "$php_ini_file" |