From 1eb151a73353e937781c60fe9aa0b92d45672f5c Mon Sep 17 00:00:00 2001
From: Cristiano Calcagno <cristianoc@fb.com>
Date: Mon, 20 Jul 2015 08:35:30 -0200
Subject: [PATCH] [back-end] make infer-out the default results directory

---
 infer/src/backend/config.ml | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/infer/src/backend/config.ml b/infer/src/backend/config.ml
index b0c532a1a..69f313323 100644
--- a/infer/src/backend/config.ml
+++ b/infer/src/backend/config.ml
@@ -153,10 +153,7 @@ let os_type = match Sys.os_type with
 
 (** default path of the project results directory *)
 let default_results_dir =
-  let dir = match os_type with
-    | Win32 -> Sys.getenv "TEMP"
-    | Unix | Cygwin -> "/tmp" in
-  Filename.concat dir "infer_results_dir"
+  Filename.concat (Sys.getcwd ()) "infer-out"
 
 (** If true shows internal exceptions*)
 let developer_mode = ref false