From a47085a69c81a173b34f48fbe1aceab95346c460 Mon Sep 17 00:00:00 2001
From: Florent Pruvost <florent.pruvost@inria.fr>
Date: Fri, 25 Aug 2017 19:29:06 +0200
Subject: [PATCH] fix option name
---
cmake_modules/PrintOpts.cmake | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/cmake_modules/PrintOpts.cmake b/cmake_modules/PrintOpts.cmake
index 10a7d80a2..6fedfaeda 100644
--- a/cmake_modules/PrintOpts.cmake
+++ b/cmake_modules/PrintOpts.cmake
@@ -58,7 +58,7 @@ set(dep_message "${dep_message}"
" Simulation mode .....: ${CHAMELEON_SIMULATION}\n"
"\n"
" Binaries to build\n"
-" documentation ........: ${CHAMELEON_ENABLE_DOCS}\n"
+" documentation ........: ${CHAMELEON_ENABLE_DOC}\n"
" example ..............: ${CHAMELEON_ENABLE_EXAMPLE}\n"
" testing ..............: ${CHAMELEON_ENABLE_TESTING}\n"
" timing ...............: ${CHAMELEON_ENABLE_TIMING}\n"
--
GitLab