Add CLI argument to Config

Reviewed By: mbouaziz

Differential Revision: D6759536

fbshipit-source-id: 8cd71e8

infer/src/base/Config.ml

@@ -1889,6 +1889,10 @@ and tracing =
     "Report error traces for runtime exceptions (Java only): generate preconditions for runtimeexceptions in Java and report errors for public methods which throw runtime exceptions"
 
 
+and tv_commit =
+  CLOpt.mk_string_opt ~long:"tv-commit" ~meta:"commit" "Commit hash to submit to Traceview"
+
+
 and tv_limit =
   CLOpt.mk_int ~long:"tv-limit" ~default:100 ~meta:"int"
     "The maximum number of traces to submit to Traceview"
@@ -2624,6 +2628,8 @@ and trace_rearrange = !trace_rearrange
 
 and tracing = !tracing
 
+and tv_commit = !tv_commit
+
 and tv_limit = !tv_limit
 
 and tv_limit_filtered = !tv_limit_filtered

infer/src/base/Config.mli

@@ -618,6 +618,8 @@ val trace_join : bool
 
 val trace_rearrange : bool
 
+val tv_commit : string option
+
 val tv_limit : int
 
 val tv_limit_filtered : int