3
3
Subject: Embed bytecode in C object when using -custom
5
5
This patch fixes non-strippability of bytecode executables linked with
9
10
Bug-Debian: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=256900
10
12
Signed-off-by: Stephane Glondu <steph@glondu.net>
15
17
diff --git a/bytecomp/bytelink.ml b/bytecomp/bytelink.ml
17
19
--- a/bytecomp/bytelink.ml
18
20
+++ b/bytecomp/bytelink.ml
19
21
@@ -415,7 +415,7 @@ let mlvalues_primitives = [