dkcoder.project.init and DkStd_Std.Project.init (6/n)

+ Explicit exit with success from post script since dk.cmd is deleted
diskuv · Dec 6, 2024 · b6db6c7 · b6db6c7
1 parent 21aaeb0
commit b6db6c7
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/cmake/scripts/dkcoder/project/init.cmake b/cmake/scripts/dkcoder/project/init.cmake
@@ -143,6 +143,11 @@ CALL "@DKCODER_PWD_NATIVE@\dk.cmd" @dk_run@ --generator dune --you-dir "@CMAKE_S
 IF %ERRORLEVEL% NEQ 0 EXIT /B %ERRORLEVEL%
 
 ECHO dkcoder: project installed.
+
+REM The parent dk.cmd script was deleted, and if it continued then
+REM we would get 'The system cannot find the path specified.' so exit
+REM right now.
+EXIT /B 0
 ]]
             @ONLY NEWLINE_STYLE DOS)
     else()