1
0
mirror of https://github.com/gnss-sdr/gnss-sdr synced 2024-12-15 20:50:33 +00:00

Add certificates to coverity job

This commit is contained in:
Carles Fernandez 2019-04-21 09:50:24 +02:00
parent e4c7216a8f
commit f784f14ae6
No known key found for this signature in database
GPG Key ID: 4C583C52B0C3877D

View File

@ -382,7 +382,7 @@ coverity-scan:
stage: build stage: build
script: script:
- apt-get update - apt-get update
- apt-get install -y wget curl - apt-get install -y wget curl ca-certificates
- wget -O ./cov-analysis-linux64.tgz https://scan.coverity.com/download/linux64 --post-data "project=$COVERITY_SCAN_USER%2Fgnss-sdr&token=$COVERITY_SCAN_TOKEN" - wget -O ./cov-analysis-linux64.tgz https://scan.coverity.com/download/linux64 --post-data "project=$COVERITY_SCAN_USER%2Fgnss-sdr&token=$COVERITY_SCAN_TOKEN"
- tar xvzf cov-analysis-linux64.tgz - tar xvzf cov-analysis-linux64.tgz
- export PATH=$PATH:$(pwd)/cov-analysis-linux64-2017.07/bin - export PATH=$PATH:$(pwd)/cov-analysis-linux64-2017.07/bin