From 24b7a50d1fb0eeb24dc592cd97035ddc3ed70e57 Mon Sep 17 00:00:00 2001
From: Jules Villard <jul@fb.com>
Date: Wed, 28 Dec 2016 02:49:54 -0800
Subject: [PATCH] [log] do not redirect output of InferAnalyze in the Makefiles

Summary:
There is not much to redirect except for an uninformative line before proper
logging files are set up. This is from before the current logging system, which
has builtin support for logging into custom files.

Reviewed By: jberdine

Differential Revision: D4365988

fbshipit-source-id: 044290a
---
 infer/src/backend/InferAnalyze.re | 4 +---
 infer/src/backend/cluster.ml      | 4 +++-
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/infer/src/backend/InferAnalyze.re b/infer/src/backend/InferAnalyze.re
index e60e72166..b6b9b3fc6 100644
--- a/infer/src/backend/InferAnalyze.re
+++ b/infer/src/backend/InferAnalyze.re
@@ -100,9 +100,7 @@ let main makefile => {
   | None => ()
   };
   switch Config.cluster_cmdline {
-  | Some fname =>
-    L.stdout "Cluster %s@." fname;
-    process_cluster_cmdline fname
+  | Some fname => process_cluster_cmdline fname
   | None =>
     print_stdout_legend ();
     if Config.allow_specs_cleanup {
diff --git a/infer/src/backend/cluster.ml b/infer/src/backend/cluster.ml
index 913c11c48..6e44965c0 100644
--- a/infer/src/backend/cluster.ml
+++ b/infer/src/backend/cluster.ml
@@ -41,5 +41,7 @@ let pp_cluster fmt (nr, cluster) =
   let pp_cl fmt n = Format.fprintf fmt "%s" (cl_name n) in
   store_to_file (DB.filename_from_string fname) (nr, cluster);
   F.fprintf fmt "%a: @\n" pp_cl nr;
-  F.fprintf fmt "\t$(INFERANALYZE) -cluster %s >%a@\n" fname pp_cl nr;
+  F.fprintf fmt "\t$(INFERANALYZE) -cluster '%s'@\n" fname;
+  (* touch the target of the rule to let `make` know that the job has been done *)
+  F.fprintf fmt "\t@@touch $@@@\n";
   F.fprintf fmt "@\n"