From 3eebbfc97d44b09cf875054a7124cd8a4dc2a54f Mon Sep 17 00:00:00 2001 From: Aokromes Date: Thu, 9 Feb 2017 09:45:14 +0100 Subject: [PATCH] Tools: Enable tools compilation by default (the time diff is small and it will help starters, advanced users can disable it at any time on cmake guy/compilation script) --- cmake/options.cmake | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cmake/options.cmake b/cmake/options.cmake index dd11bcd6b99..6cd9aa2f539 100644 --- a/cmake/options.cmake +++ b/cmake/options.cmake @@ -32,7 +32,7 @@ foreach(SCRIPT_MODULE ${SCRIPT_MODULE_LIST}) set_property(CACHE ${SCRIPT_MODULE_VARIABLE} PROPERTY STRINGS default disabled static dynamic) endforeach() -option(TOOLS "Build map/vmap/mmap extraction/assembler tools" 0) +option(TOOLS "Build map/vmap/mmap extraction/assembler tools" 1) option(USE_SCRIPTPCH "Use precompiled headers when compiling scripts" 1) option(USE_COREPCH "Use precompiled headers when compiling servers" 1) option(WITH_DYNAMIC_LINKING "Enable dynamic library linking." 0)