diff options
Diffstat (limited to 'utils/ccomp.ml')
| -rw-r--r-- | utils/ccomp.ml | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/utils/ccomp.ml b/utils/ccomp.ml index 66525e5b9e..bbc8e3f0b3 100644 --- a/utils/ccomp.ml +++ b/utils/ccomp.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Compiling C files and building C libraries *) let command cmdline = @@ -60,7 +58,7 @@ let compile_file name = if !Clflags.native_code then Config.native_c_compiler else Config.bytecomp_c_compiler) - (String.concat " " (List.rev !Clflags.ccopts)) + (String.concat " " (List.rev !Clflags.all_ccopts)) (quote_prefixed "-I" (List.rev !Clflags.include_dirs)) (Clflags.std_include_flag "-I") (Filename.quote name)) @@ -121,7 +119,7 @@ let call_linker mode output_name files extra = (if !Clflags.gprofile then Config.cc_profile else "") "" (*(Clflags.std_include_flag "-I")*) (quote_prefixed "-L" !Config.load_path) - (String.concat " " (List.rev !Clflags.ccopts)) + (String.concat " " (List.rev !Clflags.all_ccopts)) files extra in |