From 432ba7f447eb815ba5053b552c3b778d65a5f6bb Mon Sep 17 00:00:00 2001 From: Jeremy Dubreil Date: Thu, 25 Jan 2018 13:58:22 -0800 Subject: [PATCH] [infer][buck] remove the "captured" subdirectory for Java projects Reviewed By: sblackshear Differential Revision: D6793069 fbshipit-source-id: bce2248 --- infer/src/integration/Driver.ml | 13 ++++++++----- 1 file changed, 8 insertions(+), 5 deletions(-) diff --git a/infer/src/integration/Driver.ml b/infer/src/integration/Driver.ml index 27487cef4..ee80081e8 100644 --- a/infer/src/integration/Driver.ml +++ b/infer/src/integration/Driver.ml @@ -75,11 +75,14 @@ let clean_results_dir () = let should_delete_dir = let dirs_to_delete = let open Config in - [ backend_stats_dir_name - ; classnames_dir_name - ; frontend_stats_dir_name - ; multicore_dir_name - ; reporting_stats_dir_name ] + let common_list = + [ backend_stats_dir_name + ; classnames_dir_name + ; frontend_stats_dir_name + ; multicore_dir_name + ; reporting_stats_dir_name ] + in + if flavors then common_list else captured_dir_name :: common_list in List.mem ~equal:String.equal dirs_to_delete in