From 931f76e7edece02c26d1119d78446c36e335aa9a Mon Sep 17 00:00:00 2001
From: Mathieu Faverge <mathieu.faverge@inria.fr>
Date: Fri, 13 Jul 2018 16:55:12 +0200
Subject: [PATCH] Restore MORSE where it should be
---
cmake_modules/gitlab-ci-initial-cache.cmake | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/cmake_modules/gitlab-ci-initial-cache.cmake b/cmake_modules/gitlab-ci-initial-cache.cmake
index 8bc6792b1..f472d6142 100644
--- a/cmake_modules/gitlab-ci-initial-cache.cmake
+++ b/cmake_modules/gitlab-ci-initial-cache.cmake
@@ -2,5 +2,5 @@ set(BUILD_SHARED_LIBS "ON" CACHE BOOL "")
set(CMAKE_INSTALL_PREFIX "$ENV{PWD}/install" CACHE PATH "")
set(CMAKE_VERBOSE_MAKEFILE "ON" CACHE BOOL "")
-option(CHAMELEON_ENABLE_WARNING "Enable warning messages" ON)
-option(CHAMELEON_ENABLE_COVERAGE "Enable flags for coverage test" ON)
+option(MORSE_ENABLE_WARNING "Enable warning messages" ON)
+option(MORSE_ENABLE_COVERAGE "Enable flags for coverage test" ON)
--
GitLab