diff --git a/infer/src/integration/Buck.ml b/infer/src/integration/Buck.ml index 402e4bbfa..e5112e367 100644 --- a/infer/src/integration/Buck.ml +++ b/infer/src/integration/Buck.ml @@ -410,7 +410,8 @@ let run_buck_build prog buck_build_args = let filename = Config.project_root ^/ target_path ^/ Config.buck_infer_deps_file_name in if PolyVariantEqual.(Sys.file_exists filename = `Yes) then filename :: acc else acc | _ -> - L.die ExternalError "Couldn't parse buck target output: %s" line + L.internal_error "Couldn't parse buck target output: %s" line ; + acc in match Unix.waitpid pid with | Ok () -> ( diff --git a/infer/src/integration/BuckGenrule.ml b/infer/src/integration/BuckGenrule.ml index 6287f96b3..a64c5ddcd 100644 --- a/infer/src/integration/BuckGenrule.ml +++ b/infer/src/integration/BuckGenrule.ml @@ -15,7 +15,7 @@ let write_infer_deps infile = | [target; target_output_path] -> Printf.fprintf out_channel "%s\t-\t%s\n" target (Config.project_root ^/ target_output_path) | _ -> - L.die ExternalError "Couldn't parse buck target output: %s@." line + L.internal_error "Couldn't parse buck target output: %s@." line in let infer_deps = Config.(results_dir ^/ buck_infer_deps_file_name) in Utils.with_file_out infer_deps ~f:(fun out_channel ->