diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2010-01-07 15:07:30 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2010-01-07 15:07:30 +0000 |
| commit | a0ab2dc1217d077291793f5091de29ef9ccb69df (patch) | |
| tree | 1ccf9d5fea3d0ae35212032fb3e8281e32d01230 | |
| parent | 44ef12ca017905122948bb0733f64813d6ab513a (diff) | |
PR#4949 print C object files in linking order
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9510 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -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 |