From 8eb73bf39dc277640fbae6a9360c4cac47b6cd7f Mon Sep 17 00:00:00 2001 From: jrm Date: Thu, 11 Feb 2016 11:47:30 -0800 Subject: [PATCH] Turn on ondemand for the tracing mode Reviewed By: cristianoc Differential Revision: D2895107 fb-gh-sync-id: cc27d4f shipit-source-id: cc27d4f --- infer/lib/python/inferlib/analyze.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/infer/lib/python/inferlib/analyze.py b/infer/lib/python/inferlib/analyze.py index 2a782cd4f..489cf910e 100644 --- a/infer/lib/python/inferlib/analyze.py +++ b/infer/lib/python/inferlib/analyze.py @@ -430,7 +430,8 @@ class Infer: elif self.args.project_root: infer_options += ['-project_root', self.args.project_root] - if self.args.analyzer in [config.ANALYZER_CHECKERS]: + if self.args.analyzer in [config.ANALYZER_CHECKERS, + config.ANALYZER_TRACING]: os.environ['INFER_ONDEMAND'] = 'Y' os.environ['INFER_OPTIONS'] = ' '.join(infer_options)