From: Mehdi Dogguy <mehdi@debian.org>
Date: Fri, 15 Jul 2011 22:07:47 +0000 (+0200)
Subject: Oups
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~3^2~292
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=14345c276cb143ed62afab72f7baa045b54c8705;p=ocaml.git

Oups
---

diff --git a/debian/patches/0012-Make-objinfo-show-force_link-and-ccobjs-ccopts-when-.patch b/debian/patches/0012-Make-objinfo-show-force_link-and-ccobjs-ccopts-when-.patch
index d5bf2c6d..4656ac5d 100644
--- a/debian/patches/0012-Make-objinfo-show-force_link-and-ccobjs-ccopts-when-.patch
+++ b/debian/patches/0012-Make-objinfo-show-force_link-and-ccobjs-ccopts-when-.patch
@@ -43,9 +43,9 @@ index 4f467f2..89855da 100644
 -let print_general_infos name crc defines cmi cmx =
 +let print_general_infos name force_link crc defines cmi cmx =
    printf "Name: %s\n" name;
-+  match force_link with
++  (match force_link with
 +      Some flag -> printf "Force link: %s\n" (string_of_bool flag)
-+    | None -> ();
++    | None -> ());
    printf "CRC of implementation: %s\n" (Digest.to_hex crc);
    printf "Globals defined:\n";
    List.iter print_line defines;