mirror of
https://github.com/OpenMW/openmw.git
synced 2025-02-21 11:39:44 +00:00
Merge branch 'install_curl_coverity' into 'master'
Install curl in the coverity job See merge request OpenMW/openmw!734
This commit is contained in:
commit
3dea984c18
2 changed files with 3 additions and 1 deletions
|
@ -35,7 +35,7 @@ Coverity:
|
|||
rules:
|
||||
- if: '$CI_PIPELINE_SOURCE == "schedule"'
|
||||
before_script:
|
||||
- CI/install_debian_deps.sh gcc openmw-deps openmw-deps-dynamic
|
||||
- CI/install_debian_deps.sh gcc openmw-deps openmw-deps-dynamic coverity
|
||||
- curl -o /tmp/cov-analysis-linux64.tgz https://scan.coverity.com/download/linux64 --form project=$COVERITY_SCAN_PROJECT_NAME --form token=$COVERITY_SCAN_TOKEN
|
||||
- tar xfz /tmp/cov-analysis-linux64.tgz
|
||||
script:
|
||||
|
|
|
@ -27,6 +27,8 @@ declare -rA GROUPED_DEPS=(
|
|||
|
||||
# These dependencies can alternatively be built and linked statically.
|
||||
[openmw-deps-dynamic]="libmygui-dev libopenscenegraph-dev"
|
||||
|
||||
[coverity]="curl"
|
||||
|
||||
# Pre-requisites for building MyGUI and OSG for static linking.
|
||||
#
|
||||
|
|
Loading…
Reference in a new issue