diff options
Diffstat (limited to 'file_formats/cmo_format.mli')
| -rw-r--r-- | file_formats/cmo_format.mli | 2 |
1 files changed, 2 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 *) |