diff options
| author |  varobert <varobert@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2012-07-05 08:43:03 +0000 |
|---|---|---|
| committer | varobert <varobert@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2012-07-05 08:43:03 +0000 |
| commit | 1d4ca9226236135526d095a8c575571a297cfcb7 (patch) | |
| tree | 195c33f5f386712c40329683662ae0d58418e9ee /checklink | |
| parent | 05f9369c759ecd957585feec6659e3c05e313a11 (diff) | |
checklink: minor changes
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1956 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'checklink')
| -rw-r--r-- | checklink/Check.ml | 17 |
1 files changed, 9 insertions, 8 deletions
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 |