Extend segfault workaround to PHP versions below 5.4.

This commit is contained in:
Andreas Fischer 2014-04-12 07:13:44 +02:00
parent a7f625c6f3
commit 96b7baa9f1

View File

@ -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