[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
master
Matthew Haughton 8 years ago committed by Facebook Github Bot
parent df543b900b
commit 2e1fe6836a

@ -929,8 +929,9 @@ and from_json_report =
and frontend_debug = and frontend_debug =
CLOpt.mk_bool ~deprecated:["fd"] ~deprecated_no:["nfd"] ~long:"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 \ "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 = and frontend_stats =
CLOpt.mk_bool ~deprecated:["fs"] ~deprecated_no:["nfs"] ~long:"frontend-stats" CLOpt.mk_bool ~deprecated:["fs"] ~deprecated_no:["nfs"] ~long:"frontend-stats"
@ -1157,6 +1158,7 @@ and quiet =
and reactive = and reactive =
CLOpt.mk_bool ~deprecated:["reactive"] ~long:"reactive" ~short:'r' 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" "Reactive mode: the analysis starts from the files captured since the `infer` command started"
and reactive_capture = and reactive_capture =

Loading…
Cancel
Save