From 182cc7a239f029353490349c237aa5196dbe3b5b Mon Sep 17 00:00:00 2001 From: Julian Büning Date: Mon, 29 May 2023 13:35:16 +0200 Subject: CMake: remove obsolete comments obsoleted by changes in 3ef5c9d0cd51babb7c4ec2d7bb76d0cb7e47a65c --- CMakeLists.txt | 8 -------- cmake/compiler_warnings.cmake | 2 -- 2 files changed, 10 deletions(-) diff --git a/CMakeLists.txt b/CMakeLists.txt index 469f36a5..b2842f9f 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -76,14 +76,6 @@ set(CMAKE_SKIP_BUILD_RPATH FALSE) ################################################################################ list(APPEND CMAKE_MODULE_PATH "${CMAKE_SOURCE_DIR}/cmake/modules") -################################################################################ -# Compiler flags for KLEE components -# Subsequent commands will append to these. These are used instead of -# directly modifying CMAKE_CXX_FLAGS so that other code can be easily built with -# different flags. -################################################################################ - - ################################################################################ # Assertions ################################################################################ diff --git a/cmake/compiler_warnings.cmake b/cmake/compiler_warnings.cmake index b8d00a6b..b250483a 100644 --- a/cmake/compiler_warnings.cmake +++ b/cmake/compiler_warnings.cmake @@ -9,8 +9,6 @@ ############################################################################### # Compiler warnings -# -# NOTE: All these variables should be lists of flags and NOT a single string. ############################################################################### # FIXME: -Wunused-parameter fires a lot so for now suppress it. add_compile_options( -- cgit 1.4.1