From 2c489371dd3e099de40b36aad7a05bb40c26463b Mon Sep 17 00:00:00 2001 From: Josh Berdine Date: Thu, 25 Feb 2016 01:48:01 -0800 Subject: [PATCH] Revert "[ondemand][backend] Turn on on-demand infrastructure by default" Reviewed By: cristianoc Differential Revision: D2976570 fb-gh-sync-id: 6661a0b shipit-source-id: 6661a0b --- infer/lib/python/inferlib/analyze.py | 4 ++++ infer/src/backend/ondemand.ml | 4 ++-- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/infer/lib/python/inferlib/analyze.py b/infer/lib/python/inferlib/analyze.py index e1875c76e..dd6c2c950 100644 --- a/infer/lib/python/inferlib/analyze.py +++ b/infer/lib/python/inferlib/analyze.py @@ -444,6 +444,10 @@ 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 e4fb58831..7b6feaf3c 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 := true +let () = Config.ondemand_enabled := + Config.from_env_variable "INFER_ONDEMAND" let across_files () = true