From 218e4dca52ab25e9b4b49fc0a96a52c2c2fefdec Mon Sep 17 00:00:00 2001 From: Phoebe Nichols Date: Wed, 24 Jul 2019 09:11:42 -0700 Subject: [PATCH] Do not delete results directory if incremental-analysis is enabled Summary: Incremental analysis relies on analysis results in the results directory, so don't delete this directory if `--incremental-analysis` is used Reviewed By: jvillard Differential Revision: D16458113 fbshipit-source-id: bf7c63cb3 --- infer/src/infer.ml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/infer/src/infer.ml b/infer/src/infer.ml index 514a27fca..5a96bfee6 100644 --- a/infer/src/infer.ml +++ b/infer/src/infer.ml @@ -42,7 +42,9 @@ let setup () = (buck && flavors) || genrule_mode) || not ( Driver.(equal_mode driver_mode Analyze) - || Config.(continue_capture || infer_is_clang || infer_is_javac || reactive_mode) ) + || Config.( + continue_capture || infer_is_clang || infer_is_javac || reactive_mode + || incremental_analysis) ) then ResultsDir.remove_results_dir () ; ResultsDir.create_results_dir () ; if