The following commit has been merged in the master branch: commit 14345c276cb143ed62afab72f7baa045b54c8705 Author: Mehdi Dogguy <me...@debian.org> Date: Sat Jul 16 00:07:47 2011 +0200
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 d5bf2c6..4656ac5 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; -- OCaml packaging _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits