From 4820a0b9fcba2fa4119d9a17e313ba1d88de5cad Mon Sep 17 00:00:00 2001
From: Jules Villard <jul@fb.com>
Date: Wed, 10 Jun 2015 16:04:07 -0100
Subject: [PATCH] add version information to InferAnalyze output

Summary:
@public
This changes "Starting analysis" into
"Starting analysis (Infer version XXX)".

Test Plan:
  infer -- clang -c hello.c

shows "Starting analysis (Infer version git-6b9fb8838bcabd2af881554d296963a849b14f50)"
---
 infer/src/backend/inferanalyze.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/infer/src/backend/inferanalyze.ml b/infer/src/backend/inferanalyze.ml
index e151d2a2a..3b3eae2fc 100644
--- a/infer/src/backend/inferanalyze.ml
+++ b/infer/src/backend/inferanalyze.ml
@@ -731,7 +731,7 @@ let analyzer_err_name = "analyzer_err"
 let () =
   let () =
     match !cluster_cmdline with
-    | None -> L.stdout "Starting analysis@.";
+    | None -> L.stdout "Starting analysis (Infer version %s)@." Version.versionString;
     | Some clname -> L.stdout "Cluster %s@." clname in
   RegisterCheckers.register ();
   Facebook.register_checkers ();