summaryrefslogtreecommitdiff
path: root/utils/ccomp.ml
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2010-04-28 12:09:32 +0000
committerXavier Leroy <xavier.leroy@inria.fr>2010-04-28 12:09:32 +0000
commit820544607a4f518ae91ea21fcf1750f58b62ea83 (patch)
treed3c264c647c755b5d9ad3a691253d5e343c23996 /utils/ccomp.ml
parent1def025fdece0bfd394be4c41cc2ce8f386ba8ac (diff)
downloadocaml-820544607a4f518ae91ea21fcf1750f58b62ea83.tar.gz
PR#4741: put -L options before file names, which can be -lxxx
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10326 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'utils/ccomp.ml')
-rw-r--r--utils/ccomp.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/utils/ccomp.ml b/utils/ccomp.ml
index fbbbdf10b3..94a29217dc 100644
--- a/utils/ccomp.ml
+++ b/utils/ccomp.ml
@@ -120,8 +120,8 @@ 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))
files
extra
- (String.concat " " (List.rev !Clflags.ccopts))
in
command cmd = 0