From f8939546bdef716d27a481c0873a47e5fc372131 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Michal=20=C4=8Ciha=C5=99?= Date: Thu, 4 Dec 2014 15:43:18 +0100 Subject: [PATCH] Do not cache runkit MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The improvement is not noticeable in this case, so let's always use fresh copy. Signed-off-by: Michal Čihař --- test/install-runkit | 14 +++++--------- 1 file changed, 5 insertions(+), 9 deletions(-) diff --git a/test/install-runkit b/test/install-runkit index 8c13ecc0dc..4789479b61 100755 --- a/test/install-runkit +++ b/test/install-runkit @@ -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