diff options
Diffstat (limited to 'cmake')
| -rw-r--r-- | cmake/showoptions.cmake | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/cmake/showoptions.cmake b/cmake/showoptions.cmake index ebd9523876d..0809f5a0cf6 100644 --- a/cmake/showoptions.cmake +++ b/cmake/showoptions.cmake @@ -95,13 +95,6 @@ if ( NOJEM ) message(" *** jemalloc linking has been disabled!") message(" *** Please note that this is for DEBUGGING WITH VALGRIND only!") message(" *** DO NOT DISABLE IT UNLESS YOU KNOW WHAT YOU'RE DOING!") -elseif ( VALGRIND ) - message("") - message(" *** VALGRIND - WARNING!") - message(" *** jemalloc will be configured to support Valgrind") - message(" *** Please specify the valgrind include directory in VALGRIND_INCLUDE_DIR option if you get build errors") - message(" *** Please note that this is for DEBUGGING WITH VALGRIND only!") - add_definitions(-DJEMALLOC_VALGRIND) endif() if ( HELGRIND ) |