From 980f940a34af48877115da06b830a9a31aa065ae Mon Sep 17 00:00:00 2001 From: Colin McMillen Date: Wed, 18 Nov 2020 16:04:59 -0500 Subject: [PATCH] prefix results with 'lint.py' so that it's obvious where they're coming from --- tools/scripts/lint.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/scripts/lint.py b/tools/scripts/lint.py index 70724ee..1bee382 100644 --- a/tools/scripts/lint.py +++ b/tools/scripts/lint.py @@ -65,7 +65,7 @@ def main(args): for filename in csharp_files: lint_csharp(filename) - print('checked %d files and found %d errors' % ( + print('lint.py checked %d files and found %d errors' % ( len(csharp_files), num_errors)) if num_errors: