Bug-Debian: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=627761
Signed-off-by: Stephane Glondu <steph@glondu.net>
---
- bytecomp/bytelink.ml | 36 ++++++++++++++++++++++++++++++++----
- 1 files changed, 32 insertions(+), 4 deletions(-)
+ bytecomp/bytelink.ml | 36 ++++++++++++++++++++++++++++++++----
+ testsuite/tests/embedded/Makefile | 3 +++
+ 2 files changed, 35 insertions(+), 4 deletions(-)
diff --git a/bytecomp/bytelink.ml b/bytecomp/bytelink.ml
index 8f797a1..1de0a79 100644
if not (Filename.check_suffix output_name ".c") then begin
temps := c_file :: !temps;
if Ccomp.compile_file c_file <> 0 then raise(Error Custom_runtime);
+diff --git a/testsuite/tests/embedded/Makefile b/testsuite/tests/embedded/Makefile
+index ed33143..0d1e4ca 100644
+--- a/testsuite/tests/embedded/Makefile
++++ b/testsuite/tests/embedded/Makefile
+@@ -1,5 +1,8 @@
+ BASEDIR=../..
+
++# This test relies on the upstream behaviour of -custom
++export OCAML_COMPAT=c
++
+ default: compile run
+
+ compile:
--