From 4eda6b7b926db222160cce0fc0e9923b6896d8cc Mon Sep 17 00:00:00 2001
From: alexander-nord <alexnord925@gmail.com>
Date: Sun, 29 Jan 2023 13:43:52 -0700
Subject: [PATCH] The 'mirage2' symlink can be overwritten if we need to try
 'make' a second time

---
 CMakeLists.txt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 3c6e0c8..a104a8a 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -55,8 +55,8 @@ add_custom_target(
 		${CMAKE_SOURCE_DIR}/src/run_mirage2.sh
 		${CMAKE_RUNTIME_OUTPUT_DIRECTORY}/mirage2
  	COMMAND ln
- 		-s ${CMAKE_RUNTIME_OUTPUT_DIRECTORY}/mirage2
- 		   ${CMAKE_SOURCE_DIR}/mirage2
+ 		-sf ${CMAKE_RUNTIME_OUTPUT_DIRECTORY}/mirage2
+ 		    ${CMAKE_SOURCE_DIR}/mirage2
 )
 
 add_custom_target(