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 0a886e0a367..600d3c086cb 100644 --- a/cmake/showoptions.cmake +++ b/cmake/showoptions.cmake @@ -94,13 +94,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 -DVALGRIND) endif() if ( HELGRIND ) |