From e4a03889f34d71412004f512b9a696d18287b9d2 Mon Sep 17 00:00:00 2001 From: Artem Pianykh Date: Tue, 1 Oct 2019 03:48:42 -0700 Subject: [PATCH] Revert "[version check] add a check for the environment variable INFERVERSION" Summary: This reverts commit 9d5c322202a479e73b60f00ffb318f1c7948e407. INFERVERSION forcing a version check proved to be problematic for integrations, thus is reverted. Reviewed By: ngorogiannis Differential Revision: D17627638 fbshipit-source-id: f988207aa --- infer/src/base/Config.ml | 2 -- infer/src/base/Config.mli | 2 -- infer/src/infer.ml | 6 ------ 3 files changed, 10 deletions(-) diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml index 6051093b3..645f706bf 100644 --- a/infer/src/base/Config.ml +++ b/infer/src/base/Config.ml @@ -461,8 +461,6 @@ let infer_top_results_dir_env_var = "INFER_TOP_RESULTS_DIR" let infer_inside_maven_env_var = "INFER_INSIDE_MAVEN" -let infer_version_env_var = "INFERVERSION" - let maven = CLOpt.is_env_var_set infer_inside_maven_env_var let env_inside_maven = `Extend [(infer_inside_maven_env_var, "1")] diff --git a/infer/src/base/Config.mli b/infer/src/base/Config.mli index aa1bbebaa..7f42c4c2d 100644 --- a/infer/src/base/Config.mli +++ b/infer/src/base/Config.mli @@ -103,8 +103,6 @@ val idempotent_getters : bool val infer_py_argparse_error_exit_code : int -val infer_version_env_var : string - val initial_analysis_time : float val ivar_attributes : string diff --git a/infer/src/infer.ml b/infer/src/infer.ml index 239fec105..d0481a701 100644 --- a/infer/src/infer.ml +++ b/infer/src/infer.ml @@ -134,12 +134,6 @@ let () = Version.versionString | None -> () ) ; - Sys.getenv Config.infer_version_env_var - |> Option.iter ~f:(fun version -> - if not (String.is_prefix version ~prefix:Version.commit) then - L.(die UserError) - "Version '%s' (in environment variable %s) does not match commit hash '%s'" version - Config.infer_version_env_var Version.commit ) ; if Config.print_builtins then Builtin.print_and_exit () ; setup () ; log_environment_info () ;