diff --git a/infer/lib/python/inferlib/analyze.py b/infer/lib/python/inferlib/analyze.py index 63e6dc5d8..5c7ea4961 100644 --- a/infer/lib/python/inferlib/analyze.py +++ b/infer/lib/python/inferlib/analyze.py @@ -441,10 +441,6 @@ class Infer: elif self.args.project_root: infer_options += ['-project_root', self.args.project_root] - if self.args.analyzer in [config.ANALYZER_CHECKERS, - config.ANALYZER_TRACING]: - os.environ['INFER_ONDEMAND'] = 'Y' - os.environ['INFER_OPTIONS'] = ' '.join(infer_options) if self.args.multicore == 1: diff --git a/infer/src/backend/ondemand.ml b/infer/src/backend/ondemand.ml index 3931866e7..f6796c1a2 100644 --- a/infer/src/backend/ondemand.ml +++ b/infer/src/backend/ondemand.ml @@ -15,8 +15,8 @@ module F = Format let trace () = Config.from_env_variable "INFER_TRACE_ONDEMAND" let one_cluster_per_procedure () = false -let () = Config.ondemand_enabled := - Config.from_env_variable "INFER_ONDEMAND" +let () = + Config.ondemand_enabled := true let across_files () = true