diff options
| -rw-r--r-- | CMakeLists.txt | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index 2ec7c1ed..8841e546 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -460,23 +460,6 @@ endif() include(${CMAKE_SOURCE_DIR}/cmake/workaround_llvm_pr39177.cmake) ################################################################################ -# Global clean target -################################################################################ -# CMake already uses the "clean" target name but it doesn't clean everything -# unfortunately. We can't modify the target so we provide our own "clean_all" -# target that runs clean. Other rules for performing clean up should declare -# that "clean_all" depends on those rules. -add_custom_target(clean_all - # Invoke CMake's own clean target - COMMAND - "${CMAKE_COMMAND}" - "--build" - "${CMAKE_BINARY_DIR}" - "--target" - "clean" -) - -################################################################################ # KLEE runtime support ################################################################################ # This is set here and not in `runtime` because `config.h` needs to be generated. |