From 99e64476631473d94e042262a528fc9b402000c6 Mon Sep 17 00:00:00 2001 From: Mitya Lyubarskiy Date: Fri, 12 Jul 2019 05:45:17 -0700 Subject: [PATCH] [infer][logging] log time for merge captured targets to `infer_events` Summary: This function is suspected to be slow, let's take a look at realtime distribution Reviewed By: ngorogiannis Differential Revision: D16221864 fbshipit-source-id: 2698602a9 --- infer/src/backend/mergeCapture.ml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/infer/src/backend/mergeCapture.ml b/infer/src/backend/mergeCapture.ml index cf1b80695..f7c150818 100644 --- a/infer/src/backend/mergeCapture.ml +++ b/infer/src/backend/mergeCapture.ml @@ -46,3 +46,7 @@ let merge_captured_targets () = PerfEvent.(log (fun logger -> log_begin_event logger ~name:"merge buck targets" ())) ; merge_captured_targets () ; PerfEvent.(log (fun logger -> log_end_event logger ())) + + +let merge_captured_targets () = + ScubaLogging.execute_with_time_logging "merge_captured_targets" merge_captured_targets