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

@@ -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:

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 () =
+let () = Config.ondemand_enabled :=
-  Config.ondemand_enabled := true
+    Config.from_env_variable "INFER_ONDEMAND"
 
 let across_files () = true