From: Stephane Glondu <steph@glondu.net>
Date: Wed, 14 Nov 2012 12:08:13 +0000 (+0100)
Subject: Refresh patches
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~3^2~215
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=6f494ad274b8e2dd8d3119a2816a1b1be6aab012;p=ocaml.git

Refresh patches
---

diff --git a/debian/patches/0008-Embed-bytecode-in-C-object-when-using-custom.patch b/debian/patches/0008-Embed-bytecode-in-C-object-when-using-custom.patch
index 33539b6e..f19165a8 100644
--- a/debian/patches/0008-Embed-bytecode-in-C-object-when-using-custom.patch
+++ b/debian/patches/0008-Embed-bytecode-in-C-object-when-using-custom.patch
@@ -105,7 +105,7 @@ index bb14de6..9922bf2 100644
          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..dc4e9a1 100644
+index ec2308d..1a826aa 100644
 --- a/testsuite/tests/embedded/Makefile
 +++ b/testsuite/tests/embedded/Makefile
 @@ -1,5 +1,8 @@