From 2b1558af6d8f3e36f0a60fe91d58aca2ee2a5427 Mon Sep 17 00:00:00 2001 From: Cristiano Calcagno Date: Tue, 23 Feb 2016 03:23:03 -0800 Subject: [PATCH] Turn on on-demand infrastructure by default Reviewed By: jvillard Differential Revision: D2960030 fb-gh-sync-id: 8777abb shipit-source-id: 8777abb --- infer/lib/python/inferlib/analyze.py | 4 ---- infer/src/backend/ondemand.ml | 4 ++-- 2 files changed, 2 insertions(+), 6 deletions(-) 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