From e3a4a11ec8b075f40946232d406ce4a3bcb018c3 Mon Sep 17 00:00:00 2001 From: Nikos Gorogiannis Date: Mon, 11 Mar 2019 03:14:49 -0700 Subject: [PATCH] [buck][java] clean more Reviewed By: ezgicicek Differential Revision: D14400879 fbshipit-source-id: cb61f6325 --- infer/src/integration/Driver.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/infer/src/integration/Driver.ml b/infer/src/integration/Driver.ml index d6ea68821..68ce6ad97 100644 --- a/infer/src/integration/Driver.ml +++ b/infer/src/integration/Driver.ml @@ -85,7 +85,8 @@ let clean_results_dir () = ; frontend_stats_dir_name ; reporting_stats_dir_name ] in - if flavors then common_list else captured_dir_name :: common_list + if flavors then common_list + else captured_dir_name :: racerd_issues_dir_name :: starvation_issues_dir_name :: common_list in List.mem ~equal:String.equal dirs_to_delete in