diff options
Diffstat (limited to 'tools/cpplint.py')
| -rw-r--r-- | tools/cpplint.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/cpplint.py b/tools/cpplint.py index 845f2d2f39..241195f076 100644 --- a/tools/cpplint.py +++ b/tools/cpplint.py @@ -3021,7 +3021,7 @@ def CheckComment(line, filename, linenum, next_line_start, error): # If the comment contains an alphanumeric character, there # should be a space somewhere between it and the // unless # it's a /// or //! Doxygen comment. - if (Match(r'//[^ ]*\w', comment) and + if (Match(r'(?://[^ ]*\w)|(?:////\s*$)', comment) and not Match(r'(///|//\!)(\s+|$)', comment)): error(filename, linenum, 'whitespace/comments', 4, 'Should have a space between // and comment') |