From 19969b71803e5fd7ecef7aa93bac64ff48f5faf9 Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Mon, 10 Oct 2016 04:15:00 -0700
Subject: [PATCH] [config] Do not spam log with args read from INFER_ARGS

Summary: This is just too noisy in the logs.

Reviewed By: jeremydubreil

Differential Revision: D3993872

fbshipit-source-id: 5f421e9
---
 infer/src/base/Config.ml | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml
index 37d0c94bc..8472455a5 100644
--- a/infer/src/base/Config.ml
+++ b/infer/src/base/Config.ml
@@ -1345,10 +1345,6 @@ let post_parsing_initialization () =
 let parse_args_and_return_usage_exit =
   let usage_exit =
     CLOpt.parse ~accept_unknown:true ~config_file:inferconfig_path "INFER_ARGS" exe_usage in
-  if !debug || (!developer_mode && not (CLOpt.current_exe = CLOpt.Print)) then
-    prerr_endline
-      ((Filename.basename Sys.executable_name) ^ " got args "
-       ^ (try Unix.getenv "INFER_ARGS" with Not_found -> "")) ;
   post_parsing_initialization () ;
   usage_exit