[cmake] Remove clean_all target as not needed by any additional target

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.