diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 44483bbc2b3d9a5f8eb645d251e34dc1d88ecc6e..b625efc394b99e8d48ca9f60d4cdf82aaf1869e8 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -10,7 +10,7 @@ build: script: - mkdir build - cd build - - cmake .. -CMAKE_BUILD_TYPE=coverage + - cmake .. -DCMAKE_BUILD_TYPE=coverage - cmake --build . -- -j 4 - ctest -j4 -V >& test.log - ../Tools/coverage.sh