pghs975uc
/
infer_clone
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Better help message for `filter-report-paths` argument

Browse Source 
Reviewed By: jvillard

Differential Revision: D4699881

fbshipit-source-id: 9a83d81
master
Martino Luca 8 years ago committed by Facebook Github Bot
parent 56b057acb8
commit 8ab1adf40d
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File

2
infer/src/base/Config.ml
Unescape View File

@ -921,7 +921,7 @@ and filter_paths =
and filter_report_paths = and filter_report_paths =
CLOpt.mk_string_opt CLOpt.mk_string_opt
~long:"filter-report-paths" ~parse_mode:CLOpt.(Infer [Print]) ~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." Source files should be specified relative to project root or be absolute."
and flavors = and flavors =

Write Preview
Loading…
Cancel
Save