From 2e1fe6836a6b279615b1a8c62685d39ecbf6609b Mon Sep 17 00:00:00 2001
From: Matthew Haughton <3flex@users.noreply.github.com>
Date: Thu, 16 Mar 2017 04:20:37 -0700
Subject: [PATCH] [infer][PR] display additional options in help text

Summary:
These are mentioned on fbinfer.com so IMHO should be displayed when running infer -h
Closes https://github.com/facebook/infer/pull/617

Differential Revision: D4697682

Pulled By: jvillard

fbshipit-source-id: 3d7dd7b
---
 infer/src/base/Config.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml
index f9b7360a6..5998744c3 100644
--- a/infer/src/base/Config.ml
+++ b/infer/src/base/Config.ml
@@ -929,8 +929,9 @@ and from_json_report =
 
 and frontend_debug =
   CLOpt.mk_bool ~deprecated:["fd"] ~deprecated_no:["nfd"] ~long:"frontend-debug"
+    ~parse_mode:CLOpt.(Infer [Clang])
     "Emit debug info to *.o.astlog and a script *.o.sh that replays the command used to run clang \
-     with the plugin attached, piped to the InferClang frontend command (clang only)"
+     with the plugin attached, piped to the InferClang frontend command"
 
 and frontend_stats =
   CLOpt.mk_bool ~deprecated:["fs"] ~deprecated_no:["nfs"] ~long:"frontend-stats"
@@ -1157,6 +1158,7 @@ and quiet =
 
 and reactive =
   CLOpt.mk_bool ~deprecated:["reactive"] ~long:"reactive" ~short:'r'
+    ~parse_mode:CLOpt.(Infer [Driver])
     "Reactive mode: the analysis starts from the files captured since the `infer` command started"
 
 and reactive_capture =