diff --git a/otherlibs/configurator/src/v1.ml b/otherlibs/configurator/src/v1.ml index ddd8446fb14..0bfd8ab4071 100644 --- a/otherlibs/configurator/src/v1.ml +++ b/otherlibs/configurator/src/v1.ml @@ -418,9 +418,9 @@ let compile_and_link_c_prog t ?(c_flags = []) ?(link_flags = []) code = [ c_flags ; [ "-I"; t.stdlib_dir ] ; output_flag - ; [ c_fname ] ; t.c_libraries ; link_flags + ; [ c_fname ] ]) in if ok then Ok () else Error ()