diff options
Diffstat (limited to 'utils/ccomp.mli')
| -rw-r--r-- | utils/ccomp.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/utils/ccomp.mli b/utils/ccomp.mli index 22bc2e8d69..afdee3a42b 100644 --- a/utils/ccomp.mli +++ b/utils/ccomp.mli @@ -20,5 +20,6 @@ val compile_file: string -> int val create_archive: string -> string list -> int val expand_libname: string -> string val quote_files: string list -> string +val quote_optfile: string option -> string val make_link_options: string list -> string val merge_manifest: string -> int |