mirror of
https://github.com/gnss-sdr/gnss-sdr
synced 2024-08-19 22:26:10 +00:00
Add curl for Coverity Scan submission
This commit is contained in:
parent
e35f05c2bf
commit
cd6d579b26
|
@ -135,7 +135,7 @@ coverity-scan:
|
||||||
stage: build
|
stage: build
|
||||||
script:
|
script:
|
||||||
- apt-get update
|
- apt-get update
|
||||||
- apt-get install -y wget
|
- apt-get install -y wget curl
|
||||||
- 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
|
||||||
|
|
Loading…
Reference in New Issue
Block a user