diff options
| author | jackpoz <giacomopoz@gmail.com> | 2017-11-19 20:23:00 +0100 |
|---|---|---|
| committer | jackpoz <giacomopoz@gmail.com> | 2017-11-25 13:18:21 +0100 |
| commit | 92cd9bd70db460fdce4af0596cf9d8ee3c3abad5 (patch) | |
| tree | 28fe47305cb0a70da890fb1eac9cc0e3f10f6e5f /cmake | |
| parent | eba1c1ff97afeb761a0130ea5989643ffbbda154 (diff) | |
Dep/Jemalloc: Update to Jemalloc 5.0.1
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 ) |