From 91c25fe63641eb2986a98f616a93e9613c2d9c1e Mon Sep 17 00:00:00 2001 From: Jeremy Dubreil Date: Wed, 25 May 2016 13:22:33 -0700 Subject: [PATCH] revert the use of the jar cache Reviewed By: cristianoc Differential Revision: D3344954 fbshipit-source-id: 47e84fa --- infer/src/backend/config.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/infer/src/backend/config.ml b/infer/src/backend/config.ml index c2deabfde..e50893532 100644 --- a/infer/src/backend/config.ml +++ b/infer/src/backend/config.ml @@ -1023,8 +1023,7 @@ let report_custom_error = from_env_variable "INFER_REPORT_CUSTOM_ERROR" cost *) let sound_dynamic_dispatch = from_env_variable "INFER_SOUND_DYNAMIC_DISPATCH" -let use_jar_cache = from_env_variable "INFER_USE_JAR_CACHE" - +let use_jar_cache = true (** Parse Command Line Args *)