Directly clone correct runkit version

Signed-off-by: Michal Čihař <michal@cihar.com>
This commit is contained in:
Michal Čihař 2014-12-04 14:47:57 +01:00
parent e3ddf2ddeb
commit a4c2afaf45

View File

@ -1,11 +1,11 @@
#!/bin/sh
git clone --depth=1 git://github.com/zenovich/runkit.git
cd runkit
if [ $TRAVIS_PHP_VERSION = "5.6" ] ; then
wget https://github.com/zenovich/runkit/pull/71.diff
patch -p1 < 71.diff
git clone --depth=1 git://github.com/adrianguenter/runkit.git
else:
git clone --depth=1 git://github.com/zenovich/runkit.git
fi
cd runkit
phpize
./configure
make