From 6256626f743bfcdd488fa1ec9d086d14f11109b4 Mon Sep 17 00:00:00 2001 From: varobert Date: Mon, 4 Jun 2012 08:53:56 +0000 Subject: checklink: improved user-friendliness Command-line options have been renamed and reordered. Error messages verbosity is more fine-grained. Possibly spurious debug messages are more clearly separated from the actual conclusions of the process. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1913 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- checklink/Frameworks.ml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'checklink/Frameworks.ml') diff --git a/checklink/Frameworks.ml b/checklink/Frameworks.ml index 828299e..72b00b4 100644 --- a/checklink/Frameworks.ml +++ b/checklink/Frameworks.ml @@ -187,6 +187,8 @@ let string_of_log_entry show_debug entry = let fatal s = failwith ((format_logtype "FATAL: ") ^ s) +let verbose_elfmap = ref false + let string_of_byte_chunk_desc = function | ELF_header -> "ELF header" | ELF_progtab -> "ELF program header table" @@ -202,4 +204,4 @@ let string_of_byte_chunk_desc = function | Jumptable -> "Jump table" | Float_literal(f) -> "Float literal: " ^ string_of_float f | Padding -> "Padding" -| Unknown(s) -> " ??? " ^ s +| Unknown(s) -> "???" ^ (if !verbose_elfmap then s else "") -- cgit v1.2.3