From f1dabb747c722538d9972cb081cc206062848045 Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Wed, 11 May 2016 16:45:15 -0700
Subject: [PATCH] Ease down InferPrint debug printing

Summary:
InferPrint sets developer_mode by default, so tighten check for debug
printing.

Reviewed By: jvillard

Differential Revision: D3287792

fbshipit-source-id: 2a01c7b
---
 infer/src/backend/config.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/infer/src/backend/config.ml b/infer/src/backend/config.ml
index ed827f97d..49266a800 100644
--- a/infer/src/backend/config.ml
+++ b/infer/src/backend/config.ml
@@ -919,7 +919,7 @@ let post_parsing_initialization () =
 
 let parse_args_and_return_usage_exit =
   let usage_exit = CLOpt.parse "INFER_ARGS" exe_usage in
-  if !debug || !developer_mode then
+  if !debug || (!developer_mode && not (CLOpt.current_exe = CLOpt.P)) then
     prerr_endline
       ((Filename.basename Sys.executable_name) ^ " got args "
        ^ (try Unix.getenv "INFER_ARGS" with Not_found -> "")) ;