From 14345c276cb143ed62afab72f7baa045b54c8705 Mon Sep 17 00:00:00 2001 From: Mehdi Dogguy Date: Sat, 16 Jul 2011 00:07:47 +0200 Subject: [PATCH] Oups --- ...Make-objinfo-show-force_link-and-ccobjs-ccopts-when-.patch | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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; -- 2.30.2