diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml index beab321c8..bb482f399 100644 --- a/infer/src/base/Config.ml +++ b/infer/src/base/Config.ml @@ -95,8 +95,6 @@ let checks_disabled_by_default = [ "GLOBAL_VARIABLE_INITIALIZED_WITH_FUNCTION_OR_METHOD_CALL"; ] -let clang_build_output_dir_name = "build_output" - let clang_initializer_prefix = "__infer_globals_initializer_" (** Experimental: if true do some specialized analysis of concurrent constructs. *) diff --git a/infer/src/base/Config.mli b/infer/src/base/Config.mli index 5eb16e57c..5f8f62f88 100644 --- a/infer/src/base/Config.mli +++ b/infer/src/base/Config.mli @@ -60,7 +60,6 @@ val buck_generated_folder : string val buck_infer_deps_file_name : string val captured_dir_name : string val checks_disabled_by_default : string list -val clang_build_output_dir_name : string val clang_initializer_prefix : string val cpp_models_dir : string val csl_analysis : bool diff --git a/infer/src/integration/CaptureCompilationDatabase.ml b/infer/src/integration/CaptureCompilationDatabase.ml index bb46d506e..670871ef0 100644 --- a/infer/src/integration/CaptureCompilationDatabase.ml +++ b/infer/src/integration/CaptureCompilationDatabase.ml @@ -161,5 +161,4 @@ let capture_files_in_database db_json_files = IList.iter (CompilationDatabase.decode_json_file compilation_database (should_add_file_to_cdb changed_files)) db_json_files; - create_dir (Config.results_dir // Config.clang_build_output_dir_name); run_compilation_database compilation_database