From 0d290eae171e6bd985b0a919dcf4d419ba4f662e Mon Sep 17 00:00:00 2001
From: Florent Pruvost <florent.pruvost@inria.fr>
Date: Wed, 30 Aug 2017 16:04:36 +0200
Subject: [PATCH] update flag name
---
.gitlab-ci.yml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 35dd054b7..ea597577e 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -45,5 +45,5 @@ doc:
- git submodule update --init --recursive
- mkdir -p build
- cd build
- - cmake .. -DCHAMELEON_ENABLE_DOCS=ON -DCHAMELEON_ENABLE_EXAMPLES=OFF -DCHAMELEON_ENABLE_TESTING=OFF -DCHAMELEON_ENABLE_TIMING=OFF
+ - cmake .. -DCHAMELEON_ENABLE_DOC=ON -DCHAMELEON_ENABLE_EXAMPLES=OFF -DCHAMELEON_ENABLE_TESTING=OFF -DCHAMELEON_ENABLE_TIMING=OFF
- make
--
GitLab