diff --git a/infer/src/integration/BuckFlavors.ml b/infer/src/integration/BuckFlavors.ml index 59493dbc5..46767f3e6 100644 --- a/infer/src/integration/BuckFlavors.ml +++ b/infer/src/integration/BuckFlavors.ml @@ -73,8 +73,8 @@ let run_buck_build prog buck_build_args = *) let process_buck_line acc line = L.debug Capture Verbose "BUCK OUT: %s@." line ; - match String.split ~on:' ' line with - | [_; target_path] -> + match String.lsplit2 ~on:' ' line with + | Some (_, target_path) -> let filename = ResultsDirEntryName.get_path ~results_dir:(Config.project_root ^/ target_path)