From b6db6c7607a0edd785ca2525bfc800ba3f185df2 Mon Sep 17 00:00:00 2001
From: Jonah Beckford <9566106-jonahbeckford@users.noreply.gitlab.com>
Date: Thu, 5 Dec 2024 17:18:19 -0800
Subject: [PATCH] dkcoder.project.init and DkStd_Std.Project.init (6/n)

+ Explicit exit with success from post script since dk.cmd is deleted
---
 cmake/scripts/dkcoder/project/init.cmake | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/cmake/scripts/dkcoder/project/init.cmake b/cmake/scripts/dkcoder/project/init.cmake
index 1e98d18..4d311d2 100644
--- 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()