removing debug flags from cmake

VeriFIT · Oct 7, 2023 · fb8c9d4 · fb8c9d4
1 parent 2815fd6
commit fb8c9d4
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 4 deletions.
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
@@ -24,8 +24,6 @@ add_library(libmata STATIC
 	nfa/builder.cc
 )
 
-SET(CMAKE_BUILD_TYPE Debug)
-
 # libmata needs at least c++20
 target_compile_features(libmata PUBLIC cxx_std_20)
 

diff --git a/tests/CMakeLists.txt b/tests/CMakeLists.txt
@@ -19,8 +19,6 @@ add_executable(tests
 		strings/nfa-string-solving.cc
 )
 
-SET(CMAKE_BUILD_TYPE Debug)
-
 target_link_libraries(tests PRIVATE libmata Catch2::Catch2)
 
 # Add common compile warnings.