From 96b7baa9f1a55bdf100bbf38d2f9e8085012f9cc Mon Sep 17 00:00:00 2001
From: Andreas Fischer <bantu@phpbb.com>
Date: Sat, 12 Apr 2014 07:13:44 +0200
Subject: [PATCH] Extend segfault workaround to PHP versions below 5.4.

---
 travis/run-phpunit.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/travis/run-phpunit.sh b/travis/run-phpunit.sh
index a3da43f0..013cf3ae 100755
--- a/travis/run-phpunit.sh
+++ b/travis/run-phpunit.sh
@@ -15,7 +15,7 @@ else
 fi
 
 PHPUNIT_EXTRA_ARGS=''
-if [ "$TRAVIS_PHP_VERSION" = '5.3.3' ]
+if [ `php -r "echo (int) version_compare(PHP_VERSION, '5.4', '<');"` = "1" ]
 then
   PHPUNIT_EXTRA_ARGS="$PHPUNIT_EXTRA_ARGS -d zend.enable_gc=0"
 fi