diff --git a/infer/lib/python/report.py b/infer/lib/python/report.py index c00276dd3..0e76cd8f7 100755 --- a/infer/lib/python/report.py +++ b/infer/lib/python/report.py @@ -24,7 +24,7 @@ arg_parser.add_argument('--issues-csv', metavar='', arg_parser.add_argument('--issues-json', metavar='', required=True, help='Location of the json report') arg_parser.add_argument('--issues-txt', metavar='', - help='Location of the text report (ignored for now)') + help='Location of the text report') arg_parser.add_argument('--issues-xml', metavar='', help='Location of the xml report (ignored for now)') arg_parser.add_argument('--pmd-xml', action='store_true', @@ -38,9 +38,9 @@ arg_parser.add_argument('--results-dir', metavar='', required=True, def main(): sys_argv = map(utils.decode, sys.argv) args = arg_parser.parse_args(sys_argv[1:]) - bugs_out = os.path.join(args.results_dir, config.BUGS_FILENAME) issues.print_and_save_errors(args.results_dir, args.project_root, - args.issues_json, bugs_out, args.pmd_xml) + args.issues_json, args.issues_txt, + args.pmd_xml) if __name__ == '__main__':