Disable runkit for 4.3 as well

Signed-off-by: Michal Čihař <michal@cihar.com>
This commit is contained in:
Michal Čihař 2015-08-18 16:21:13 +02:00
parent 7a92707952
commit bcc4c77f43

View File

@ -1,9 +1,10 @@
#!/bin/bash
if [ $TRAVIS_PHP_VERSION = "nightly" ] ; then
if [ $TRAVIS_PHP_VERSION = "nightly" -o $TRAVIS_PHP_VERSION = "4.3" -o $TRAVIS_PHP_VERSION = "7.0" ] ; then
exit 0
fi
set -e
git clone --depth=1 git://github.com/zenovich/runkit.git