diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/cmake/showoptions.cmake | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/cmake/showoptions.cmake b/src/cmake/showoptions.cmake index 28b70b457a..5199d7b14f 100644 --- a/src/cmake/showoptions.cmake +++ b/src/cmake/showoptions.cmake @@ -105,5 +105,21 @@ if ( NOJEM ) message(" *** DO NOT DISABLE IT UNLESS YOU KNOW WHAT YOU'RE DOING!") endif() +# Performance optimization options: + +if( DISABLE_EXTRAS ) + message("* Disable extra features : Yes") + add_definitions(-DDISABLE_EXTRAS) +else() + message("* Disable extra features : No (default)") +endif() + +if( DISABLE_VMAP_CHECKS ) + message("* Disable vmap DisableMgr checks : Yes") + add_definitions(-DDISABLE_VMAP_CHECKS) +else() + message("* Disable vmap DisableMgr checks : No (default)") +endif() + message("") |