[CLI] kill --report-hook option

Summary: It's dead code now, forgot to delete in D20623613.

Reviewed By: skcho

Differential Revision: D20672768

fbshipit-source-id: deb4e9500

infer/man/man1/infer-analyze.txt

@@ -276,11 +276,6 @@ OPTIONS
            Activates: Force converting an absolute path to a relative path to
            the root directory (Conversely: --no-report-force-relative-path)
 
-       --report-hook script
-           Specify a script to be executed after the analysis results are
-           written. This script will be passed, --issues-json, --issues-txt,
-           --issues-xml, --project-root, and --results-dir.
-
        --results-dir,-o dir
            Write results and internal files in the specified directory
 

infer/man/man1/infer-full.txt

@@ -943,11 +943,6 @@ OPTIONS
        --report-formatter { none | phabricator }
            Which formatter to use when emitting the report           See also infer-report(1).
 
-       --report-hook script
-           Specify a script to be executed after the analysis results are
-           written. This script will be passed, --issues-json, --issues-txt,
-           --issues-xml, --project-root, and --results-dir.           See also infer-analyze(1) and infer-run(1).
-
        --report-previous path
            Report of the base revision to use for comparison           See also infer-reportdiff(1).
 
@@ -1637,9 +1632,6 @@ INTERNAL OPTIONS
        --report-current-reset
            Cancel the effect of --report-current.
 
-       --report-hook-reset
-           Cancel the effect of --report-hook.
-
        --report-previous-reset
            Cancel the effect of --report-previous.
 

infer/man/man1/infer-run.txt

@@ -114,11 +114,6 @@ OPTIONS
            Activates: Force converting an absolute path to a relative path to
            the root directory (Conversely: --no-report-force-relative-path)
 
-       --report-hook script
-           Specify a script to be executed after the analysis results are
-           written. This script will be passed, --issues-json, --issues-txt,
-           --issues-xml, --project-root, and --results-dir.
-
        --report-suppress-errors +error_name
            do not report a type of errors
 

infer/man/man1/infer.txt

@@ -943,11 +943,6 @@ OPTIONS
        --report-formatter { none | phabricator }
            Which formatter to use when emitting the report           See also infer-report(1).
 
-       --report-hook script
-           Specify a script to be executed after the analysis results are
-           written. This script will be passed, --issues-json, --issues-txt,
-           --issues-xml, --project-root, and --results-dir.           See also infer-analyze(1) and infer-run(1).
-
        --report-previous path
            Report of the base revision to use for comparison           See also infer-reportdiff(1).
 

infer/src/base/Config.ml

@@ -1961,17 +1961,6 @@ and report_formatter =
     ~eq:PolyVariantEqual.( = ) "Which formatter to use when emitting the report"
 
 
-and report_hook =
-  CLOpt.mk_string_opt ~long:"report-hook"
-    ~in_help:InferCommand.[(Analyze, manual_generic); (Run, manual_generic)]
-    ~default:(lib_dir ^/ "python" ^/ "report.py")
-    ~default_to_string:(fun _ -> "<infer installation directory>/lib/python/report.py")
-    ~meta:"script"
-    "Specify a script to be executed after the analysis results are written.  This script will be \
-     passed, $(b,--issues-json), $(b,--issues-txt), $(b,--issues-xml), $(b,--project-root), and \
-     $(b,--results-dir)."
-
-
 and report_previous =
   CLOpt.mk_path_opt ~long:"report-previous"
     ~in_help:InferCommand.[(ReportDiff, manual_generic)]
@@ -2950,8 +2939,6 @@ and report_force_relative_path = !report_force_relative_path
 
 and report_formatter = !report_formatter
 
-and report_hook = !report_hook
-
 and report_path_regex_blacklist = !report_path_regex_blacklist
 
 and report_path_regex_whitelist = !report_path_regex_whitelist

infer/src/base/Config.mli

@@ -535,8 +535,6 @@ val report_current : string option
 
 val report_formatter : [`No_formatter | `Phabricator_formatter]
 
-val report_hook : string option
-
 val report_path_regex_blacklist : string list
 
 val report_path_regex_whitelist : string list