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"