Skip to content
Permalink
Browse files
Fix WITH_INNODB_EXTRA_DEBUG
  • Loading branch information
dr-m committed May 26, 2017
1 parent 8c81f24 commit 4114d1d
Showing 1 changed file with 2 additions and 2 deletions.
@@ -123,8 +123,8 @@ ENDIF()

OPTION(WITH_INNODB_EXTRA_DEBUG "Enable extra InnoDB debug checks" OFF)
IF(WITH_INNODB_EXTRA_DEBUG)
IF(NOT WITH_DEBUG)
MESSAGE(FATAL_ERROR "WITH_INNODB_EXTRA_DEBUG can be enabled only when WITH_DEBUG is enabled")
IF(NOT CMAKE_BUILD_TYPE STREQUAL "Debug")
MESSAGE(FATAL_ERROR "WITH_INNODB_EXTRA_DEBUG can be enabled only in debug builds")
ENDIF()

SET(EXTRA_DEBUG_FLAGS "")

0 comments on commit 4114d1d

Please sign in to comment.