diff options
| -rw-r--r-- | tools/objinfo.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/objinfo.ml b/tools/objinfo.ml index 6bebc82c0..943f83f3b 100644 --- a/tools/objinfo.ml +++ b/tools/objinfo.ml @@ -48,7 +48,8 @@ let print_library_info lib = print_string (if lib.lib_custom then "YES" else "no"); print_newline(); print_string " Extra C object files:"; - List.iter print_spaced_string lib.lib_ccobjs; print_newline(); + (* PR#4949: print in linking order *) + List.iter print_spaced_string (List.rev lib.lib_ccobjs); print_newline(); print_string " Extra C options:"; List.iter print_spaced_string lib.lib_ccopts; print_newline(); List.iter print_info lib.lib_units |