diff options
| -rwxr-xr-x | src/clint.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/clint.py b/src/clint.py index e0f4d3eec5..0c9f55c71e 100755 --- a/src/clint.py +++ b/src/clint.py @@ -3434,8 +3434,9 @@ def ProcessFile(filename, vlevel, extra_check_functions=[]): # When reading from stdin, the extension is unknown, so no cpplint tests # should rely on the extension. if filename != '-' and file_extension not in _valid_extensions: - sys.stderr.write('Ignoring %s; not a valid file name ' - '(%s)\n' % (filename, ', '.join(_valid_extensions))) + sys.stderr.write('Ignoring {}; only linting {} files\n'.format( + filename, + ', '.join('.{}'.format(ext) for ext in _valid_extensions))) else: ProcessFileData(filename, file_extension, lines, Error, extra_check_functions) |