From fc1b26e9cf47d1b077c5a3e441d73040b8a751bc Mon Sep 17 00:00:00 2001
From: Andrzej Kotulski <akotulski@fb.com>
Date: Mon, 22 Jun 2015 11:30:18 -0100
Subject: [PATCH] Remove INFER_DEVELOPER env variable

---
 infer/bin/inferlib.py | 1 -
 1 file changed, 1 deletion(-)

diff --git a/infer/bin/inferlib.py b/infer/bin/inferlib.py
index 98136d9ed..b7756d3fa 100644
--- a/infer/bin/inferlib.py
+++ b/infer/bin/inferlib.py
@@ -472,7 +472,6 @@ class Infer:
                 shutil.rmtree(multicore_dir)
             os.mkdir(multicore_dir)
             os.chdir(multicore_dir)
-            os.environ['INFER_DEVELOPER'] = 'Y'
             analyze_cmd = infer_analyze + ['-makefile', 'Makefile']
             analyze_cmd += infer_options
             makefile_status = run_command(