summaryrefslogtreecommitdiff
path: root/utilities/checkpatch.py
diff options
context:
space:
mode:
authorIlya Maximets <i.maximets@ovn.org>2019-12-07 18:10:24 +0100
committerIlya Maximets <i.maximets@ovn.org>2019-12-09 21:14:26 +0100
commit37c6dfab1002e212d2c8717bdc55f09d3668ef16 (patch)
tree85e33805e02c54bb1cf5a64a0a479327806b174f /utilities/checkpatch.py
parent98a411b32e3f94bc711a01bb5ad18488eee6eed7 (diff)
downloadopenvswitch-37c6dfab1002e212d2c8717bdc55f09d3668ef16.tar.gz
checkpatch: Skip words containing numbers.
Words like 'br0' are common and usually references some code or database objects that should not be targets for spell checking. So, it's better to skip all the words that has digits inside instead of ones that starts with numbers. Signed-off-by: Ilya Maximets <i.maximets@ovn.org> Acked-by: Aaron Conole <aconole@redhat.com> Acked-by: William Tu <u9012063@gmail.com>
Diffstat (limited to 'utilities/checkpatch.py')
-rwxr-xr-xutilities/checkpatch.py4
1 files changed, 2 insertions, 2 deletions
diff --git a/utilities/checkpatch.py b/utilities/checkpatch.py
index 6d95b0e2f..1b14ca5d5 100755
--- a/utilities/checkpatch.py
+++ b/utilities/checkpatch.py
@@ -396,8 +396,8 @@ def check_comment_spelling(line):
strword[1:].islower()):
skip = True
- # skip words that start with numbers
- if strword.startswith(tuple('0123456789')):
+ # skip words containing numbers
+ if any(check_char.isdigit() for check_char in strword):
skip = True
if not skip: