diff options
author | Vadim Yanitskiy <vyanitskiy@sysmocom.de> | 2021-11-05 16:05:20 +0300 |
---|---|---|
committer | Vadim Yanitskiy <vyanitskiy@sysmocom.de> | 2021-11-05 16:22:06 +0300 |
commit | fc769e2fdb026af17298515f468193b0b5db8091 (patch) | |
tree | ab4cec28e0fa27d2e22c4b33581e8551bf69dc61 /contrib | |
parent | dbd5ed64d78b527249c000b9b9a72a789d34d127 (diff) |
contrib/jenkins.sh: make pylint warn about unnecessary semicolon
Change-Id: I7793e30501ad109c95b207cbfada50596de17cda
Related: OS#5292
Diffstat (limited to 'contrib')
-rwxr-xr-x | contrib/jenkins.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index 91dcdd2..e2e04e7 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -38,6 +38,7 @@ pip install pylint python -m pylint --errors-only \ --disable E1102 \ --disable E0401 \ + --enable W0301 \ pySim *.py # attempt to build documentation |