From 31f189532c2a2e2f5a847f43e437ae06e828f8c7 Mon Sep 17 00:00:00 2001 From: Dulma Churchill Date: Tue, 23 May 2017 06:07:34 -0700 Subject: [PATCH] [buck capture] Remove the argument keep-going from the buck targets command Reviewed By: jvillard Differential Revision: D5111474 fbshipit-source-id: d535929 --- infer/src/integration/CaptureCompilationDatabase.ml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/infer/src/integration/CaptureCompilationDatabase.ml b/infer/src/integration/CaptureCompilationDatabase.ml index ec68282f7..987eb60d6 100644 --- a/infer/src/integration/CaptureCompilationDatabase.ml +++ b/infer/src/integration/CaptureCompilationDatabase.ml @@ -84,8 +84,11 @@ let get_compilation_database_files_buck ~prog ~args = | build :: args_with_flavor -> ( let build_args = build :: "--config" :: "*//cxx.pch_enabled=false" :: args_with_flavor in Process.create_process_and_wait ~prog ~args:build_args; + (* The option --keep-going is not accepted in the command buck targets *) + let args_with_flavor_no_keep_going = + List.filter ~f:(fun s -> not (String.equal s "--keep-going")) args_with_flavor in let buck_targets_shell = - prog :: "targets" :: "--show-output" :: args_with_flavor + prog :: "targets" :: "--show-output" :: args_with_flavor_no_keep_going |> Utils.shell_escape_command in let (output, exit_or_signal) = Utils.with_process_in buck_targets_shell In_channel.input_lines in