revert the use of the jar cache

Reviewed By: cristianoc

Differential Revision: D3344954

fbshipit-source-id: 47e84fa
master
Jeremy Dubreil 9 years ago committed by Facebook Github Bot 0
parent 10f1036937
commit 91c25fe636

@ -1023,8 +1023,7 @@ let report_custom_error = from_env_variable "INFER_REPORT_CUSTOM_ERROR"
cost *) cost *)
let sound_dynamic_dispatch = from_env_variable "INFER_SOUND_DYNAMIC_DISPATCH" 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 *) (** Parse Command Line Args *)

Loading…
Cancel
Save