diff options
-rwxr-xr-x | scripts/dev/pylint-ci.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/dev/pylint-ci.sh b/scripts/dev/pylint-ci.sh index ff9ad82f0..75f358adf 100755 --- a/scripts/dev/pylint-ci.sh +++ b/scripts/dev/pylint-ci.sh @@ -2,7 +2,7 @@ PYLINT=${PYLINT:-pylint} "$PYLINT" --version -"$PYLINT" --disable=C0103,C0302,C0301,C0330,E0401,E0611,E1101,E1136,R0201,R0901,R0904,R0912,R0913,R0914,R0915,R0916,R1702,R1710,W0201,W0212,W0221,W0223,W0231,W0233,W0603,W0613 "$@" +"$PYLINT" --disable=C0103,C0302,C0301,C0330,E0401,E0611,E1101,E1133,E1136,R0201,R0901,R0904,R0912,R0913,R0914,R0915,R0916,R1702,R1710,W0201,W0212,W0221,W0223,W0231,W0233,W0603,W0613 "$@" # C0103 invalid-name # C0301 line-too-long @@ -11,6 +11,7 @@ PYLINT=${PYLINT:-pylint} # E0401 import-error # E0611 no-name-in-module # E1101 no-member +# E1133 not-an-iterable # E1136 unsubscriptable-object # R0201 no-self-use # R0901 too-many-ancestors |