diff options
author | psi29a <psi29a@gmail.com> | 2021-12-26 13:58:06 +0000 |
---|---|---|
committer | psi29a <psi29a@gmail.com> | 2021-12-26 13:58:06 +0000 |
commit | 4b70e67c3453c242fd1464a188cde4fef903a654 (patch) | |
tree | 01aea1726239686920f0a071cc4a783f62ce85a2 | |
parent | 1b58e10b28dd6ca93c6a089a806e9ba571569581 (diff) | |
parent | c61967a316da3a1e38a3824e2c6ea285e1f47c8a (diff) |
Merge branch 'o0_coverity' into 'master'
Use `-O0` when compiling with coverity
See merge request OpenMW/openmw!1508
-rw-r--r-- | .gitlab-ci.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 4a3f27bc4a..06148d03d8 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -85,6 +85,7 @@ Coverity: variables: CC: clang CXX: clang++ + CXXFLAGS: -O0 artifacts: paths: [] expire_in: 1 minute |