From 6f3cdd462d628996b6d834565da3d3d0d5c66b6e Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Tue, 1 Aug 2017 07:34:27 -0700 Subject: [PATCH] [report] make --report-hook show up in `infer --help` Summary: This was supposed to be part of the public infer API. Reviewed By: jberdine Differential Revision: D5526804 fbshipit-source-id: 80c7a49 --- infer/src/base/Config.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml index 1e1285adc..7ecaba70d 100644 --- a/infer/src/base/Config.ml +++ b/infer/src/base/Config.ml @@ -1430,6 +1430,7 @@ and report_formatter = and report_hook = CLOpt.mk_string_opt ~long:"report-hook" + ~in_help:CLOpt.([(Analyze, manual_generic); (Run, manual_generic)]) ~default:(lib_dir ^/ "python" ^/ "report.py") ~meta:"script" "Specify a script to be executed after the analysis results are written. This script will be passed $(b,--issues-csv), $(b,--issues-json), $(b,--issues-txt), $(b,--issues-xml), $(b,--project-root), and $(b,--results-dir)."