File tree Expand file tree Collapse file tree 1 file changed +7
-4
lines changed Expand file tree Collapse file tree 1 file changed +7
-4
lines changed Original file line number Diff line number Diff line change @@ -134,11 +134,14 @@ let stdlib = "stdlib-406"
134
134
let (// ) = Filename. concat
135
135
let (|~ ) = Ext_string. contain_substring
136
136
137
+ let cmi_target_file = (Filename. concat " main" " builtin_cmi_datasets.ml" )
137
138
let release_cmi = Array. exists ((= ) " -release" ) Sys. argv
138
139
let () =
139
- if release_cmi then
140
- print_endline " collecting cmi from ../lib/ocaml in release mode"
141
-
140
+ if release_cmi then begin
141
+ print_endline " collecting cmi from ../lib/ocaml in release mode" ;
142
+ try Sys. remove cmi_target_file with _ ->
143
+ Format. fprintf Format. err_formatter " failed to remove %s@." cmi_target_file
144
+ end
142
145
let () =
143
146
let cmj_files =
144
147
(
@@ -161,5 +164,5 @@ let () =
161
164
in
162
165
from_cmi
163
166
cmi_files
164
- ( Filename. concat " main " " builtin_cmi_datasets.ml " )
167
+ cmi_target_file
165
168
You can’t perform that action at this time.
0 commit comments