From fdb259a7f427522c944c91daf247a161e0ad38d4 Mon Sep 17 00:00:00 2001
From: Hans Dembinski <hans.dembinski@gmail.com>
Date: Fri, 26 Apr 2019 13:35:37 +0200
Subject: [PATCH] fix
---
.gitlab-ci.yml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 44483bbc..b625efc3 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
--
GitLab