From b35c89b07215cbaff51b79ac659cd10065099104 Mon Sep 17 00:00:00 2001 From: Fabian Ruffy <5960321+fruffy@users.noreply.github.com> Date: Fri, 1 Nov 2024 18:36:22 -0400 Subject: [PATCH] Fix case of default CMake build mode. (#4993) Signed-off-by: fruffy --- CMakeLists.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CMakeLists.txt b/CMakeLists.txt index 71382677c5..b5b9ed9f90 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -78,7 +78,7 @@ set_property(CACHE MAX_LOGGING_LEVEL PROPERTY STRINGS 0 1 2 3 4 5 6 7 8 9 10) add_definitions(-DMAX_LOGGING_LEVEL=${MAX_LOGGING_LEVEL}) if (NOT CMAKE_BUILD_TYPE) - set (CMAKE_BUILD_TYPE "RELEASE") + set (CMAKE_BUILD_TYPE "Release") endif() if (NOT $ENV{P4C_VERSION} STREQUAL "")