From 8c1979410a9004a25d0ff0678e123c09e4af1ffa Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Fri, 30 Oct 2015 08:45:40 -0700 Subject: [PATCH] print location of the html report Reviewed By: dulmarod Differential Revision: D2600454 fb-gh-sync-id: 59bcc17 --- infer/bin/inferTraceBugs | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/infer/bin/inferTraceBugs b/infer/bin/inferTraceBugs index 37d37040c..0d8d8f9ff 100755 --- a/infer/bin/inferTraceBugs +++ b/infer/bin/inferTraceBugs @@ -392,11 +392,14 @@ def generate_html_report(args, reports): i += 1 remote_source_template = get_remote_source_template() - with open(os.path.join(html_dir, 'index.html'), 'w') as bug_list_file: + bug_list_path = os.path.join(html_dir, 'index.html') + with open(bug_list_path, 'w') as bug_list_file: bug_list_file.write(html_list_of_bugs(args, remote_source_template, sel)) + print('Saved html report in:\n%s' % bug_list_path) + def main(): args = base_parser.parse_args()