From 6aca954e721bac8c6a04e01371d253b14a0d1564 Mon Sep 17 00:00:00 2001 From: Josh Berdine Date: Wed, 2 Nov 2016 16:49:56 -0700 Subject: [PATCH] [config] Do not pass --inferconfig-home from python Reviewed By: akotulski Differential Revision: D4110721 fbshipit-source-id: 19f79d6 --- infer/lib/python/inferlib/analyze.py | 2 -- infer/src/base/Config.ml | 2 +- 2 files changed, 1 insertion(+), 3 deletions(-) diff --git a/infer/lib/python/inferlib/analyze.py b/infer/lib/python/inferlib/analyze.py index 3b7265d40..9a1138beb 100644 --- a/infer/lib/python/inferlib/analyze.py +++ b/infer/lib/python/inferlib/analyze.py @@ -233,8 +233,6 @@ class AnalyzerWrapper(object): ] infer_options = [] - infer_options += ['-inferconfig_home', utils.decode(os.getcwd())] - if self.args.analyzer == config.ANALYZER_ERADICATE: infer_options += ['-eradicate'] elif self.args.analyzer == config.ANALYZER_CRASHCONTEXT: diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml index ec511b04b..934e4dbd6 100644 --- a/infer/src/base/Config.ml +++ b/infer/src/base/Config.ml @@ -421,7 +421,7 @@ let resolve path = let inferconfig_home = let all_exes = IList.map snd CLOpt.exes in - CLOpt.mk_string_opt ~deprecated:["inferconfig_home"] ~long:"inferconfig-home" + CLOpt.mk_string_opt ~long:"inferconfig-home" ~exes:all_exes ~meta:"dir" "Path to the .inferconfig file" and project_root =