Remove superfluous ECHO OFF

diskuv · Dec 6, 2024 · 72910e6 · 72910e6
1 parent d7153eb
commit 72910e6
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/__dk.cmake b/__dk.cmake
@@ -776,7 +776,7 @@ function(__dkcoder_delegate)
             set(entryExec_PRECOMMAND "\"${DKCODER_OCAMLRUN_NATIVE}\" ")
         endif()
         cmake_path(NATIVE_PATH entryExec entryExec_NATIVE)
-        file(CONFIGURE OUTPUT "${DKCODER_POST_SCRIPT}" CONTENT [[REM @ECHO OFF
+        file(CONFIGURE OUTPUT "${DKCODER_POST_SCRIPT}" CONTENT [[
 REM Clear "SET" variables from dk.cmd. They are not part of DkCoder API.
 
 SET DK_7Z_DOTVER=

diff --git a/cmake/scripts/dkcoder/project/init.cmake b/cmake/scripts/dkcoder/project/init.cmake
@@ -129,7 +129,7 @@ macro(dkcoder_project_init)
         cmake_path(NATIVE_PATH DKCODER_PWD DKCODER_PWD_NATIVE)
         cmake_path(NATIVE_PATH CMAKE_SOURCE_DIR CMAKE_SOURCE_DIR_NATIVE)
         cmake_path(NATIVE_PATH CMAKE_CURRENT_BINARY_DIR CMAKE_CURRENT_BINARY_DIR_NATIVE)
-        file(CONFIGURE OUTPUT "${DKCODER_POST_SCRIPT}" CONTENT [[@ECHO OFF
+        file(CONFIGURE OUTPUT "${DKCODER_POST_SCRIPT}" CONTENT [[
 CD /D "@CMAKE_CURRENT_BINARY_DIR_NATIVE@"
 CALL "@dk_cmd_NATIVE@" @dk_run@ --generator dune --you-dir "@CMAKE_SOURCE_DIR_NATIVE@\src" -- DkStd_Std.Project.Init @init_OPTIONS@ "@DKCODER_PWD_NATIVE@" "@CMAKE_SOURCE_DIR_NATIVE@"
 IF %ERRORLEVEL% NEQ 0 EXIT /B %ERRORLEVEL%

diff --git a/cmake/scripts/dksdk/coder/compile.cmake b/cmake/scripts/dksdk/coder/compile.cmake
@@ -372,7 +372,7 @@ function(dkcoder_compile)
         list(JOIN build_args " " build_args_SPACES)
         if(CMAKE_HOST_WIN32)
             cmake_path(NATIVE_PATH CMAKE_COMMAND CMAKE_COMMAND_NATIVE)
-            file(CONFIGURE OUTPUT "${DKCODER_POST_SCRIPT}" CONTENT [[REM @ECHO OFF
+            file(CONFIGURE OUTPUT "${DKCODER_POST_SCRIPT}" CONTENT [[
 "@CMAKE_COMMAND_NATIVE@" -E env @envMods_DOS@ -- "@DKCODER_DUNE@" build --root "@compile_dir@" --display=short --no-buffer --no-print-directory --no-config @dune_args_DQUOTE_SPACES@ @build_args_SPACES@ "@gen-cdi"
 ]]
                 @ONLY NEWLINE_STYLE DOS)

diff --git a/cmake/scripts/dksdk/coder/run.cmake b/cmake/scripts/dksdk/coder/run.cmake
@@ -121,7 +121,7 @@ function(run)
     # command line arguments given to dkcoder.exe.
     if(CMAKE_HOST_WIN32)
         cmake_path(NATIVE_PATH DKCODER DKCODER_NATIVE)
-        file(CONFIGURE OUTPUT "${DKCODER_POST_SCRIPT}" CONTENT [[@ECHO OFF
+        file(CONFIGURE OUTPUT "${DKCODER_POST_SCRIPT}" CONTENT [[
 SET DKCODER_PROGRAM=./dk dksdk.coder.run
 "@DKCODER_NATIVE@" %*
 ]]