From ada37226bf35a8a15c8350cd959c26d2fe480d54 Mon Sep 17 00:00:00 2001 From: Joas Schilling Date: Sun, 16 Mar 2014 16:09:14 +0100 Subject: [ticket/12281] Disable redis on travis until its fixed again MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit /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 --- travis/setup-php-extensions.sh | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'travis/setup-php-extensions.sh') 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" -- cgit v1.2.1