From a00424e64d56ff881a72bfd99ea0dbcbe6898b49 Mon Sep 17 00:00:00 2001
From: Martin Nowack <m.nowack@imperial.ac.uk>
Date: Mon, 6 Apr 2020 14:40:57 +0100
Subject: [cmake] Remove clean_all target as not needed by any additional
 target

---
 CMakeLists.txt | 17 -----------------
 1 file changed, 17 deletions(-)

(limited to 'CMakeLists.txt')

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 2ec7c1ed..8841e546 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -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
 ################################################################################
-- 
cgit 1.4.1