Skip to content

Commit

Permalink
[cmake] Remove clean_all target as not needed by any additional target
Browse files Browse the repository at this point in the history
  • Loading branch information
MartinNowack authored and ccadar committed Nov 4, 2020
1 parent d5cbc20 commit a00424e
Showing 1 changed file with 0 additions and 17 deletions.
17 changes: 0 additions & 17 deletions CMakeLists.txt
Original file line number Diff line number Diff line change
Expand Up @@ -459,23 +459,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
################################################################################
Expand Down

0 comments on commit a00424e

Please sign in to comment.