1
0
mirror of https://github.com/gnss-sdr/gnss-sdr synced 2024-11-19 16:24:58 +00:00

Fix Coverity-scan job

This commit is contained in:
Carles Fernandez 2019-04-21 13:35:16 +02:00
parent 6b574fc977
commit a4586021f5
No known key found for this signature in database
GPG Key ID: 4C583C52B0C3877D

View File

@ -392,7 +392,7 @@ coverity-scan:
- cmake -DENABLE_OSMOSDR=ON -DENABLE_RAW_UDP=ON ..
- cov-build --dir cov-int make -j2
- tar cvzf gnss-sdr.tgz cov-int
- curl --form token=$COVERITY_SCAN_TOKEN --form email=$COVERITY_SCAN_EMAIL --form file=@$(pwd)/gnss-sdr.tgz --form version="0.0.9-next" --form description=" " https://scan.coverity.com/builds?project=$COVERITY_SCAN_USER%2Fgnss-sdr --progress-bar | tee -a "log_upload.txt" ; test ${PIPESTATUS[0]} -eq 0
- curl -k --form token=$COVERITY_SCAN_TOKEN --form email=$COVERITY_SCAN_EMAIL --form file=@$(pwd)/gnss-sdr.tgz --form version="0.0.9-next" --form description=" " https://scan.coverity.com/builds?project=$COVERITY_SCAN_USER%2Fgnss-sdr --progress-bar | tee -a "log_upload.txt" ; test ${PIPESTATUS[0]} -eq 0
when: manual
allow_failure: true