fix(CMakeLists): remove executable before overwriting on windows, thi…

…rd try This one is tested to work on my machine
leanprover-community · Jul 21, 2017 · 667e1e1 · 667e1e1
1 parent c7c8387
commit 667e1e1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/shell/CMakeLists.txt b/src/shell/CMakeLists.txt
@@ -51,7 +51,7 @@ else()
   if (${CMAKE_SYSTEM_NAME} MATCHES "Windows")
     ADD_CUSTOM_COMMAND(TARGET lean
       POST_BUILD
-      COMMAND "${CMAKE_COMMAND}" -E remove -f "${LEAN_SOURCE_DIR}/../bin/lean${CMAKE_EXECUTABLE_SUFFIX}"
+      COMMAND rm -f "${LEAN_SOURCE_DIR}/../bin/lean${CMAKE_EXECUTABLE_SUFFIX}"
       COMMAND "${CMAKE_COMMAND}" -E copy "${CMAKE_CURRENT_BINARY_DIR}/lean${CMAKE_EXECUTABLE_SUFFIX}" "${LEAN_SOURCE_DIR}/../bin/"
     )
   else()