gian/phpmyadmin
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Do not cache runkit

Browse Source 
The improvement is not noticeable in this case, so let's always use
fresh copy.

Signed-off-by: Michal Čihař <michal@cihar.com>
This commit is contained in:
Michal Čihař 2014-12-04 15:43:18 +01:00
parent f2047699be
commit f8939546bd
1 changed files with 5 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
test/install-runkit
View File

@ -2,16 +2,12 @@
set -e
mkdir -p ~/runkit
if [ ! -d ~/runkit/runkit/.git ] ; then
if [ $TRAVIS_PHP_VERSION = "5.6" ] ; then
git clone --depth=1 git://github.com/adrianguenter/runkit.git ~/runkit/runkit
else
git clone --depth=1 git://github.com/zenovich/runkit.git ~/runkit/runkit
fi
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/runkit
git pull
pushd runkit
phpize
./configure
make