diff options
author | jkoan <jkoan@users.noreply.github.com> | 2018-02-11 17:57:43 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-02-11 17:57:43 +0100 |
commit | c335e078fcc06c302a7d95de38787c1978db2c55 (patch) | |
tree | 165da2f6cf6c7644089d3dacfb03359bbdbe0f07 | |
parent | e10b215a15e35d513f1ef4d70a085708d6e3fb77 (diff) | |
download | navit-c335e078fcc06c302a7d95de38787c1978db2c55.tar.gz |
fix:build:Fix download of Cov (#400)
So that the CircleCI Build does not fail because of "10min without any output"
-rw-r--r-- | ci/build_linux.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/build_linux.sh b/ci/build_linux.sh index 4105cc1d7..dd3846710 100644 --- a/ci/build_linux.sh +++ b/ci/build_linux.sh @@ -11,7 +11,7 @@ pushd $BUILD_PATH if [[ "${CIRCLE_PROJECT_USERNAME}" == "navit-gps" && "${CIRCLE_BRANCH}" == "trunk" ]]; then # If we are building the official trunk code, push an update to coverity - wget -nv -c -O /tmp/cov-analysis-linux64-${COVERITY_VERSION}.tar.gz http://sd-55475.dedibox.fr/cov-analysis-linux64-${COVERITY_VERSION}.tar.gz + wget --progress=dot:giga -c -O /tmp/cov-analysis-linux64-${COVERITY_VERSION}.tar.gz http://sd-55475.dedibox.fr/cov-analysis-linux64-${COVERITY_VERSION}.tar.gz tar xfz /tmp/cov-analysis-linux64-${COVERITY_VERSION}.tar.gz --no-same-owner -C /usr/local/share/ export PATH=/usr/local/share/cov-analysis-linux64-${COVERITY_VERSION}/bin:$PATH |