From 17a501f02404174a86eb23f03c62faebc4aeef07 Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Fri, 21 Jul 2017 10:03:32 +0100
Subject: [PATCH] fix(CMakeLists): remove executable before overwriting on
 windows, second try

@digama0 Does this fix the problem for you?
---
 src/shell/CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/shell/CMakeLists.txt b/src/shell/CMakeLists.txt
index cdc6acbe96..11d60fdd67 100644
--- 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 "${LEAN_SOURCE_DIR}/../bin/lean${CMAKE_EXECUTABLE_SUFFIX}"
+      COMMAND "${CMAKE_COMMAND}" -E remove -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()