From d8d5c21b2cd7ba4af3e2c12ef77feb6c51304b89 Mon Sep 17 00:00:00 2001
From: Hans Dembinski <hans.dembinski@gmail.com>
Date: Fri, 26 Apr 2019 13:33:54 +0200
Subject: [PATCH] missing change to ci script
---
.gitlab-ci.yml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 10d8eea3..44483bbc 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -10,7 +10,7 @@ build:
script:
- mkdir build
- cd build
- - cmake .. -DCOVERAGE=ON
+ - cmake .. -CMAKE_BUILD_TYPE=coverage
- cmake --build . -- -j 4
- ctest -j4 -V >& test.log
- ../Tools/coverage.sh
--
GitLab