From 988145dea0f830f0220c52e3bae56e4ad6047bc1 Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Thu, 19 Jan 2017 03:54:06 -0800 Subject: [PATCH] [cli] remove support for INFERCLANG_ARGS Summary: This has been deprecated for a while. Reviewed By: jeremydubreil Differential Revision: D4430179 fbshipit-source-id: 2c3a430 --- infer/src/base/CommandLineOption.ml | 6 ------ 1 file changed, 6 deletions(-) diff --git a/infer/src/base/CommandLineOption.ml b/infer/src/base/CommandLineOption.ml index 5b5138ce8..d38bd024c 100644 --- a/infer/src/base/CommandLineOption.ml +++ b/infer/src/base/CommandLineOption.ml @@ -677,12 +677,6 @@ let parse ?(incomplete=false) ?(accept_unknown=false) ?config_file current_exe e full_speclist := add_or_suppress_help (normalize !full_desc_list) ; let env_args = decode_env_to_argv (Option.value (Sys.getenv args_env_var) ~default:"") in - (* begin transitional support for INFERCLANG_ARGS *) - let c_args = - Str.split (Str.regexp_string (String.make 1 ':')) - (Option.value (Sys.getenv "INFERCLANG_ARGS") ~default:"") in - let env_args = c_args @ env_args in - (* end transitional support for INFERCLANG_ARGS *) let exe_name = Sys.executable_name in let should_parse_cl_args = match current_exe with | Clang | Interactive -> false