From db228c922460b925eba539ce5ddf155f1df5484e Mon Sep 17 00:00:00 2001
From: Andreas Fischer <bantu@phpbb.com>
Date: Thu, 19 Jun 2014 15:35:41 +0200
Subject: [PATCH] runkit is currently not compatible with PHP 5.6.0 Beta 4

---
 travis/install-php-extensions.sh | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/travis/install-php-extensions.sh b/travis/install-php-extensions.sh
index 86715703..0f8835ee 100755
--- a/travis/install-php-extensions.sh
+++ b/travis/install-php-extensions.sh
@@ -20,6 +20,9 @@ function install_php_extension
     echo "extension=$1.so" >> `php --ini | grep "Loaded Configuration" | sed -e "s|.*:\s*||"`
 }
 
-# runkit
-git clone git://github.com/zenovich/runkit.git
-install_php_extension 'runkit'
+if [ "$TRAVIS_PHP_VERSION" != "5.6" ]
+then
+    # runkit
+    git clone git://github.com/zenovich/runkit.git
+    install_php_extension 'runkit'
+fi