diff options
| -rw-r--r-- | asmcomp/asmlink.ml | 2 | ||||
| -rw-r--r-- | bytecomp/bytelink.ml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/asmcomp/asmlink.ml b/asmcomp/asmlink.ml index 8731d1ebb..15ae74366 100644 --- a/asmcomp/asmlink.ml +++ b/asmcomp/asmlink.ml @@ -285,7 +285,7 @@ let link ppf objfiles = | mg -> raise(Error(Missing_implementations mg)) end; Clflags.ccobjs := !Clflags.ccobjs @ !lib_ccobjs; - Clflags.ccopts := !Clflags.ccopts @ !lib_ccopts; + Clflags.ccopts := !lib_ccopts @ !Clflags.ccopts; (* put user's opts first *) let startup = Filename.temp_file "camlstartup" ext_asm in make_startup_file ppf startup units_tolink; let startup_obj = Filename.temp_file "camlstartup" ext_obj in diff --git a/bytecomp/bytelink.ml b/bytecomp/bytelink.ml index 827b8b638..41b4c93c3 100644 --- a/bytecomp/bytelink.ml +++ b/bytecomp/bytelink.ml @@ -508,7 +508,7 @@ let link objfiles = else "stdlib.cma" :: (objfiles @ ["std_exit.cmo"]) in let tolink = List.fold_right scan_file objfiles [] in Clflags.ccobjs := !Clflags.ccobjs @ !lib_ccobjs; - Clflags.ccopts := !Clflags.ccopts @ !lib_ccopts; + Clflags.ccopts := !lib_ccopts @ !Clflags.ccopts; (* put user's opts first *) if not !Clflags.custom_runtime then link_bytecode tolink !Clflags.exec_name true else if not !Clflags.output_c_object then begin |