Disable runkit for PHP 5.6

It's currently broken, see https://github.com/zenovich/runkit/issues/69

Signed-off-by: Michal Čihař <michal@cihar.com>
This commit is contained in:
Michal Čihař 2014-06-24 10:52:12 +02:00
parent e5b9e500c9
commit 4ce43f3add

View File

@ -23,7 +23,7 @@ before_script:
- export PATH=~/.composer/vendor/bin/:$PATH
- mysql -uroot -e "SET PASSWORD = PASSWORD('$TESTSUITE_PASSWORD')" ;
- set -e ; if [[ -z "$LINT" ]] ; then
if [[ $TRAVIS_PHP_VERSION != "hhvm" ]] ; then
if [[ $TRAVIS_PHP_VERSION != "hhvm" -a $TRAVIS_PHP_VERSION != "5.6" ]] ; then
git clone --depth=1 git://github.com/zenovich/runkit.git ;
cd runkit ;