diff options
Diffstat (limited to 'scripts/dev/pylint-ci.sh')
-rwxr-xr-x | scripts/dev/pylint-ci.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/scripts/dev/pylint-ci.sh b/scripts/dev/pylint-ci.sh index 97ecfbcb1..c665a0d45 100755 --- a/scripts/dev/pylint-ci.sh +++ b/scripts/dev/pylint-ci.sh @@ -1,7 +1,7 @@ #!/bin/sh PYLINT=${PYLINT:-pylint} -"$PYLINT" --disable=C0103,C0302,C0330,C0411,C0412,C0413,E0203,E0401,E0611,E0710,E0712,E1101,E1102,E1133,E1136,R0201,R0901,R0904,R0913,R0916,R1702,W0201,W0212,W0221,W0223,W0311,W0401,W0603,W0613,W0614 "$@" +"$PYLINT" --disable=C0103,C0302,C0330,C0411,C0412,C0413,E0203,E0401,E0611,E0710,E0712,E1101,E1102,E1133,E1136,R0201,R0901,R0904,R0913,R0916,R1702,W0201,W0212,W0221,W0223,W0311,W0401,W0603,W0613 "$@" # C0103 invalid-name # C0302 too-many-lines @@ -32,4 +32,3 @@ PYLINT=${PYLINT:-pylint} # W0401 wildcard-import # W0603 global-statement # W0613 unused-argument -# W0614 unused-wildcard-import |