From 8ab1adf40d8da57a9ebd75c1f35086b2f0f88315 Mon Sep 17 00:00:00 2001 From: Martino Luca Date: Tue, 14 Mar 2017 04:15:19 -0700 Subject: [PATCH] Better help message for `filter-report-paths` argument Reviewed By: jvillard Differential Revision: D4699881 fbshipit-source-id: 9a83d81 --- infer/src/base/Config.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml index 6f5a015a8..d3d6fa90d 100644 --- a/infer/src/base/Config.ml +++ b/infer/src/base/Config.ml @@ -921,7 +921,7 @@ and filter_paths = and filter_report_paths = CLOpt.mk_string_opt ~long:"filter-report-paths" ~parse_mode:CLOpt.(Infer [Print]) - "Newline-separated list of files for which to emit a report. \ + "Specify the file containing a newline-separated list of files for which to emit a report. \ Source files should be specified relative to project root or be absolute." and flavors =