diff options
Diffstat (limited to 'cmake/platform')
| -rw-r--r-- | cmake/platform/settings.cmake | 5 | ||||
| -rw-r--r-- | cmake/platform/unix/settings.cmake | 1 |
2 files changed, 1 insertions, 5 deletions
diff --git a/cmake/platform/settings.cmake b/cmake/platform/settings.cmake deleted file mode 100644 index 6df5bc2165f..00000000000 --- a/cmake/platform/settings.cmake +++ /dev/null @@ -1,5 +0,0 @@ -# set installation prefix -if( PREFIX ) - set(CMAKE_INSTALL_PREFIX "${PREFIX}") -endif() - diff --git a/cmake/platform/unix/settings.cmake b/cmake/platform/unix/settings.cmake index 04d21863f6c..754ff450fcc 100644 --- a/cmake/platform/unix/settings.cmake +++ b/cmake/platform/unix/settings.cmake @@ -2,6 +2,7 @@ if(CMAKE_SYSTEM_NAME MATCHES "Linux") if (NOT NOJEM) set(JEMALLOC_LIBRARY "jemalloc") + add_definitions(-DNO_BUFFERPOOL) message(STATUS "UNIX: Using jemalloc") endif() endif() |