From 76ab05d620855810549f182df892f6c2a73321e1 Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Mon, 14 May 2018 13:06:32 +0100 Subject: [PATCH] Use Utils.executable_object_directory instead of inlining it in gen_rules.ml --- src/gen_rules.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/gen_rules.ml b/src/gen_rules.ml index dc060a4b..7c6317a1 100644 --- a/src/gen_rules.ml +++ b/src/gen_rules.ml @@ -871,7 +871,7 @@ module Gen(P : Install_rules.Params) = struct (* Use "eobjs" rather than "objs" to avoid a potential conflict with a library of the same name *) let obj_dir = - Path.relative dir ("." ^ (List.hd programs).name ^ ".eobjs") + Utils.executable_object_directory ~dir (List.hd programs).name in Exe.build_and_link_many sctx ~dir