diff options
Diffstat (limited to 'file_formats')
| -rw-r--r-- | file_formats/cmo_format.mli | 2 | ||||
| -rw-r--r-- | file_formats/cmx_format.mli | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/file_formats/cmo_format.mli b/file_formats/cmo_format.mli index d953a8817a..0952157b37 100644 --- a/file_formats/cmo_format.mli +++ b/file_formats/cmo_format.mli @@ -53,6 +53,8 @@ type compilation_unit = type library = { lib_units: compilation_unit list; (* List of compilation units *) lib_custom: bool; (* Requires custom mode linking? *) + (* In the following fields the lists are reversed with respect to + how they end up being used on the command line. *) lib_ccobjs: string list; (* C object files needed for -custom *) lib_ccopts: string list; (* Extra opts to C compiler *) lib_dllibs: string list } (* DLLs needed *) diff --git a/file_formats/cmx_format.mli b/file_formats/cmx_format.mli index 0efa32eec3..91ad2d1ff1 100644 --- a/file_formats/cmx_format.mli +++ b/file_formats/cmx_format.mli @@ -52,5 +52,7 @@ type unit_infos = type library_infos = { lib_units: (unit_infos * Digest.t) list; (* List of unit infos w/ MD5s *) + (* In the following fields the lists are reversed with respect to + how they end up being used on the command line. *) lib_ccobjs: string list; (* C object files needed *) lib_ccopts: string list } (* Extra opts to C compiler *) |