The improvement is not noticeable in this case, so let's always use fresh copy. Signed-off-by: Michal Čihař <michal@cihar.com>
18 lines
292 B
Bash
Executable File
18 lines
292 B
Bash
Executable File
#!/bin/bash
|
|
|
|
set -e
|
|
|
|
if [ $TRAVIS_PHP_VERSION = "5.6" ] ; then
|
|
git clone --depth=1 git://github.com/adrianguenter/runkit.git
|
|
else
|
|
git clone --depth=1 git://github.com/zenovich/runkit.git
|
|
fi
|
|
pushd runkit
|
|
phpize
|
|
./configure
|
|
make
|
|
make install
|
|
popd
|
|
|
|
phpenv config-add test/travis.php.ini
|