Skip to content

Commit 8d0b02d

Browse files
committed
Code review
1 parent 76716d0 commit 8d0b02d

File tree

1 file changed

+4
-1
lines changed

1 file changed

+4
-1
lines changed

backend/asmlink.ml

+4-1
Original file line numberDiff line numberDiff line change
@@ -393,7 +393,10 @@ let make_startup_file unix ~ppf_dump ~sourcefile_for_dwarf genfns units cached_g
393393
compile_phrase (Cmm_helpers.code_segment_table code_comp_units);
394394
let all_comp_units = startup_comp_unit :: system_comp_unit :: name_list in
395395
let all_comp_units =
396-
Generic_fns.imported_units cached_gen @ all_comp_units
396+
if !Clflags.function_sections then
397+
Generic_fns.imported_units cached_gen @ all_comp_units
398+
else
399+
all_comp_units
397400
in
398401
compile_phrase (Cmm_helpers.frame_table all_comp_units);
399402
if !Clflags.output_complete_object then

0 commit comments

Comments
 (0)