The 'mirage2' symlink can be overwritten if we need to try 'make' a s…

…econd time
TravisWheelerLab · Jan 29, 2023 · 4eda6b7 · 4eda6b7
1 parent da5750b
commit 4eda6b7
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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(