diff options
Diffstat (limited to 'scripts/build_linux.sh')
-rw-r--r-- | scripts/build_linux.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/build_linux.sh b/scripts/build_linux.sh index f84d247af..90ba8a9a0 100644 --- a/scripts/build_linux.sh +++ b/scripts/build_linux.sh @@ -18,11 +18,11 @@ if [[ "${CIRCLE_PROJECT_USERNAME}" == "navit-gps" && "${CIRCLE_BRANCH}" == "trun 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 - + cmake ${cmake_opts} ../ cov-build --dir cov-int make -j $(nproc --all) tar czvf navit.tgz cov-int - + curl --form token=$COVERITY_TOKEN \ --form email=$COVERITY_EMAIL \ --form file=@navit.tgz \ |