File tree Expand file tree Collapse file tree 2 files changed +10
-2
lines changed
Expand file tree Collapse file tree 2 files changed +10
-2
lines changed Original file line number Diff line number Diff line change @@ -107,7 +107,11 @@ let output_installation_file cwd_lib_bs namespace files_to_install =
107107 o suffix; o " \n " in
108108 let bs = " .." // " bs" in
109109 let sb = " .." // " .." in
110- o " rule cp\n command = cp $i $out\n " ;
110+ o (if Ext_sys. is_windows_or_cygwin then
111+ " rule cp\n command = cmd.exe /C copy /Y $i $out > null\n "
112+ else
113+ " rule cp\n command = cp $i $out\n "
114+ );
111115 files_to_install
112116 |> Queue. iter (fun ({name_sans_extension;syntax_kind; info} : Bsb_db.module_info ) ->
113117 let base = Filename. basename name_sans_extension in
Original file line number Diff line number Diff line change @@ -13610,7 +13610,11 @@ let output_installation_file cwd_lib_bs namespace files_to_install =
1361013610 o suffix; o "\n" in
1361113611 let bs = ".."//"bs" in
1361213612 let sb = ".."//".." in
13613- o "rule cp\n command = cp $i $out\n";
13613+ o (if Ext_sys.is_windows_or_cygwin then
13614+ "rule cp\n command = cmd.exe /C copy /Y $i $out > null\n"
13615+ else
13616+ "rule cp\n command = cp $i $out\n"
13617+ );
1361413618 files_to_install
1361513619 |> Queue.iter (fun ({name_sans_extension;syntax_kind; info} : Bsb_db.module_info) ->
1361613620 let base = Filename.basename name_sans_extension in
You can’t perform that action at this time.
0 commit comments