Use Utils.executable_object_directory instead of inlining it in gen_rules.ml
This commit is contained in:
parent
ea9e1f94b6
commit
76ab05d620
|
@ -871,7 +871,7 @@ module Gen(P : Install_rules.Params) = struct
|
||||||
(* Use "eobjs" rather than "objs" to avoid a potential conflict
|
(* Use "eobjs" rather than "objs" to avoid a potential conflict
|
||||||
with a library of the same name *)
|
with a library of the same name *)
|
||||||
let obj_dir =
|
let obj_dir =
|
||||||
Path.relative dir ("." ^ (List.hd programs).name ^ ".eobjs")
|
Utils.executable_object_directory ~dir (List.hd programs).name
|
||||||
in
|
in
|
||||||
Exe.build_and_link_many sctx
|
Exe.build_and_link_many sctx
|
||||||
~dir
|
~dir
|
||||||
|
|
Loading…
Reference in New Issue