From 16dcae58fa2e4fd25d2ba6b974cdb02745cdd851 Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Fri, 15 Sep 2017 05:51:22 -0700 Subject: [PATCH] [buck] display the time it took to merge Buck targets (--flavors) Summary: This can be a long-running step and it's useful to know how long it took. We already dump some statistics on stderr after merging is done, this just adds one more line. Reviewed By: mbouaziz Differential Revision: D5833580 fbshipit-source-id: 70e19ab --- infer/src/backend/mergeCapture.ml | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/infer/src/backend/mergeCapture.ml b/infer/src/backend/mergeCapture.ml index f20f4d29d..e411628cd 100644 --- a/infer/src/backend/mergeCapture.ml +++ b/infer/src/backend/mergeCapture.ml @@ -178,10 +178,12 @@ let process_merge_file deps_file = | Error error -> L.internal_error "Couldn't read deps file '%s': %s" deps_file error ) ; create_multilinks () ; - L.progress "Targets merged: %d@." stats.targets_merged ; - L.progress "Files linked: %d@." stats.files_linked ; - L.progress "Files multilinked: %d@." stats.files_multilinked + L.progress "Targets merged: %d@\n" stats.targets_merged ; + L.progress "Files linked: %d@\n" stats.files_linked ; + L.progress "Files multilinked: %d@\n" stats.files_multilinked let merge_captured_targets () = + let time0 = Unix.gettimeofday () in L.progress "Merging captured Buck targets...@\n%!" ; - process_merge_file (infer_deps ()) + process_merge_file (infer_deps ()) ; + L.progress "Merging captured Buck targets took %.03fs@\n%!" (Unix.gettimeofday () -. time0)