File tree 3 files changed +3
-3
lines changed
3 files changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -170,7 +170,7 @@ let make_custom_rules
170
170
end ;
171
171
if read_cmi <> `is_cmi then begin
172
172
Ext_buffer. add_string buf " -bs-package-name " ;
173
- Ext_buffer. add_string buf package_name;
173
+ Ext_buffer. add_string buf ( Ext_filename. maybe_quote package_name) ;
174
174
Ext_buffer. add_string buf
175
175
(Bsb_package_specs. package_flag_of_package_specs package_specs ~dirname: " $in_d" )
176
176
end ;
Original file line number Diff line number Diff line change @@ -12910,7 +12910,7 @@ let make_custom_rules
12910
12910
end;
12911
12911
if read_cmi <> `is_cmi then begin
12912
12912
Ext_buffer.add_string buf " -bs-package-name ";
12913
- Ext_buffer.add_string buf package_name;
12913
+ Ext_buffer.add_string buf (Ext_filename.maybe_quote package_name) ;
12914
12914
Ext_buffer.add_string buf
12915
12915
(Bsb_package_specs.package_flag_of_package_specs package_specs ~dirname:"$in_d")
12916
12916
end;
Original file line number Diff line number Diff line change @@ -12910,7 +12910,7 @@ let make_custom_rules
12910
12910
end;
12911
12911
if read_cmi <> `is_cmi then begin
12912
12912
Ext_buffer.add_string buf " -bs-package-name ";
12913
- Ext_buffer.add_string buf package_name;
12913
+ Ext_buffer.add_string buf (Ext_filename.maybe_quote package_name) ;
12914
12914
Ext_buffer.add_string buf
12915
12915
(Bsb_package_specs.package_flag_of_package_specs package_specs ~dirname:"$in_d")
12916
12916
end;
You can’t perform that action at this time.
0 commit comments