diff options
| author | Aokromes <Aokromes@users.noreply.github.com> | 2017-02-09 09:46:05 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-02-09 09:46:05 +0100 |
| commit | 48724ada69be73cd7643b21ee243b746caffbe0e (patch) | |
| tree | 06d5d35b9bd49b3482da2a1ad14a51149b1abffc /cmake/options.cmake | |
| parent | c7d6b6f92c4eede6911ef7b57712f359b9b49df1 (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)
Diffstat (limited to 'cmake/options.cmake')
| -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 cf0244741ae..37b212acb54 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) |