diff --git a/src/shell/CMakeLists.txt b/src/shell/CMakeLists.txt
index b89c5769f4..bb5ce8bc04 100644
--- a/src/shell/CMakeLists.txt
+++ b/src/shell/CMakeLists.txt
@@ -6,7 +6,7 @@ else()
   set_target_properties(lean_stage0 PROPERTIES IMPORTED_LOCATION "${CMAKE_CURRENT_BINARY_DIR}/lean_stage0")
 endif()
 
-ADD_CUSTOM_TARGET(bin_lean_stage0 ALL
+ADD_CUSTOM_TARGET(bin_lean_stage0
   COMMAND "${CMAKE_COMMAND}" -E copy_if_different "$<TARGET_FILE:lean_stage0>" "${LEAN_SOURCE_DIR}/../bin/lean"
   DEPENDS lean_stage0
 )