From 1d4ca9226236135526d095a8c575571a297cfcb7 Mon Sep 17 00:00:00 2001 From: varobert Date: Thu, 5 Jul 2012 08:43:03 +0000 Subject: checklink: minor changes git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1956 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- checklink/Check.ml | 17 +++++++++-------- 1 file changed, 9 insertions(+), 8 deletions(-) (limited to 'checklink') diff --git a/checklink/Check.ml b/checklink/Check.ml index 5d76ecc..e01fd2a 100644 --- a/checklink/Check.ml +++ b/checklink/Check.ml @@ -2953,13 +2953,12 @@ let process_sdump efw sdump: e_framework = print_debug("Beginning processing of the worklist"); efw >>> (fun efw -> - { - ef = efw; - program = prog; - ident_to_name = names; - ident_to_sym_ndx = ident_to_sym_ndx; - stub_ident_to_vaddr = PosMap.empty; - atoms = atoms; + { ef = efw + ; program = prog + ; ident_to_name = names + ; ident_to_sym_ndx = ident_to_sym_ndx + ; stub_ident_to_vaddr = PosMap.empty + ; atoms = atoms } ) >>> worklist_process wl @@ -3331,7 +3330,9 @@ let print_diagnosis efw = ) (rev efw.log) ); - Printf.printf " SUMMARY: %d error(s), %d warning(s)\n" nb_err nb_warn; + let plural n = if n > 1 then "s" else "" in + Printf.printf " SUMMARY: %d error%s, %d warning%s\n" + nb_err (plural nb_err) nb_warn (plural nb_warn); efw (** Checks a whole ELF file according to a list of .sdump files. This never -- cgit v1.2.3