diff --git a/infer/man/man1/infer-analyze.txt b/infer/man/man1/infer-analyze.txt index 6fccc62ff..4484c1aa1 100644 --- a/infer/man/man1/infer-analyze.txt +++ b/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 diff --git a/infer/man/man1/infer-full.txt b/infer/man/man1/infer-full.txt index b67859338..c723afb45 100644 --- a/infer/man/man1/infer-full.txt +++ b/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. diff --git a/infer/man/man1/infer-run.txt b/infer/man/man1/infer-run.txt index 89c772bae..c029fee46 100644 --- a/infer/man/man1/infer-run.txt +++ b/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 diff --git a/infer/man/man1/infer.txt b/infer/man/man1/infer.txt index fbdae39d1..03c9d6859 100644 --- a/infer/man/man1/infer.txt +++ b/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). diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml index cba03d82a..b59de81a2 100644 --- a/infer/src/base/Config.ml +++ b/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 _ -> "/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 diff --git a/infer/src/base/Config.mli b/infer/src/base/Config.mli index 6ab03c48f..891f2b733 100644 --- a/infer/src/base/Config.mli +++ b/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