From e594fd27adb89c5908b7bae8df967e19432c16c3 Mon Sep 17 00:00:00 2001 From: Alain Frisch Date: Thu, 22 Jan 2015 16:28:37 +0000 Subject: [PATCH] Use __flimp_ prefix understood by flexlink, not __imp_. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15791 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 --- asmcomp/amd64/emit.mlp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/asmcomp/amd64/emit.mlp b/asmcomp/amd64/emit.mlp index 96f78c0ea..94470e242 100644 --- a/asmcomp/amd64/emit.mlp +++ b/asmcomp/amd64/emit.mlp @@ -106,7 +106,7 @@ let windows = | _ -> false let mem__imp s = - let imps = "__imp_" ^ s in + let imps = "__flimp_" ^ s in add_used_symbol imps; mem64_rip QWORD (emit_symbol imps)