diff options
Diffstat (limited to 'asmcomp/asmlibrarian.ml')
| -rw-r--r-- | asmcomp/asmlibrarian.ml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/asmcomp/asmlibrarian.ml b/asmcomp/asmlibrarian.ml index 644a79f6ab..140791f226 100644 --- a/asmcomp/asmlibrarian.ml +++ b/asmcomp/asmlibrarian.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id: asmlibrarian.ml 12858 2012-08-10 14:45:51Z maranget $ *) - (* Build libraries of .cmx files *) open Misc @@ -53,7 +51,7 @@ let create_archive file_list lib_name = let infos = { lib_units = descr_list; lib_ccobjs = !Clflags.ccobjs; - lib_ccopts = !Clflags.ccopts } in + lib_ccopts = !Clflags.all_ccopts } in output_value outchan infos; if Ccomp.create_archive archive_name objfile_list <> 0 then raise(Error(Archiver_error archive_name)); |