diff options
| author | jvoisin <julien.voisin@dustri.org> | 2021-12-26 14:51:40 +0100 |
|---|---|---|
| committer | jvoisin <julien.voisin@dustri.org> | 2021-12-26 14:51:40 +0100 |
| commit | c61967a316da3a1e38a3824e2c6ea285e1f47c8a (patch) | |
| tree | 01aea1726239686920f0a071cc4a783f62ce85a2 | |
| parent | 1b58e10b28dd6ca93c6a089a806e9ba571569581 (diff) | |
Use `-O0` when compiling with coverity
| -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 |