Use ubuntu:20.04 docker image for Coverity

This commit is contained in:
elsid 2022-08-04 20:38:26 +02:00
parent 00f8c9760a
commit a5a3ccd0d2
No known key found for this signature in database
GPG key ID: 4DE04C198CBA7625
3 changed files with 36 additions and 11 deletions

View file

@ -26,9 +26,14 @@ declare -a CMAKE_CONF_OPTS=(
-DUSE_SYSTEM_TINYXML=ON
-DOPENMW_USE_SYSTEM_RECASTNAVIGATION=ON
-DOPENMW_CXX_FLAGS="-Werror -Werror=implicit-fallthrough" # flags specific to OpenMW project
-DCMAKE_EXE_LINKER_FLAGS="${CMAKE_EXE_LINKER_FLAGS} -fuse-ld=mold"
)
if [[ "${CMAKE_EXE_LINKER_FLAGS}" ]]; then
CMAKE_CONF_OPTS+=(
-DCMAKE_EXE_LINKER_FLAGS="${CMAKE_EXE_LINKER_FLAGS}"
)
fi
if [[ $CI_OPENMW_USE_STATIC_DEPS ]]; then
CMAKE_CONF_OPTS+=(
-DOPENMW_USE_SYSTEM_MYGUI=OFF