diff options
| author | Aokromes <Aokromes@users.noreply.github.com> | 2017-02-09 09:45:14 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-02-09 09:45:14 +0100 |
| commit | 02633a332cf730984d17f422f0571458676e3604 (patch) | |
| tree | eadb2ef5c255f0ca80bafe4a7d6693dff9ce7473 | |
| parent | 09cc6b3c33cbe7becfbeb47846253da5febfc5e6 (diff) | |
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)
| -rw-r--r-- | cmake/options.cmake | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cmake/options.cmake b/cmake/options.cmake index 3eb55ce6086..e636c1d7a92 100644 --- a/cmake/options.cmake +++ b/cmake/options.cmake @@ -33,7 +33,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) |