[config] Do not pass --inferconfig-home from python

Reviewed By: akotulski

Differential Revision: D4110721

fbshipit-source-id: 19f79d6
master
Josh Berdine 8 years ago committed by Facebook Github Bot
parent c729d26386
commit 6aca954e72

@ -233,8 +233,6 @@ class AnalyzerWrapper(object):
] ]
infer_options = [] infer_options = []
infer_options += ['-inferconfig_home', utils.decode(os.getcwd())]
if self.args.analyzer == config.ANALYZER_ERADICATE: if self.args.analyzer == config.ANALYZER_ERADICATE:
infer_options += ['-eradicate'] infer_options += ['-eradicate']
elif self.args.analyzer == config.ANALYZER_CRASHCONTEXT: elif self.args.analyzer == config.ANALYZER_CRASHCONTEXT:

@ -421,7 +421,7 @@ let resolve path =
let inferconfig_home = let inferconfig_home =
let all_exes = IList.map snd CLOpt.exes in 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" ~exes:all_exes ~meta:"dir" "Path to the .inferconfig file"
and project_root = and project_root =

Loading…
Cancel
Save