diff options
-rwxr-xr-x | scripts/dev/pylint-ci.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/dev/pylint-ci.sh b/scripts/dev/pylint-ci.sh index 75f358adf..0ae2cfd9a 100755 --- a/scripts/dev/pylint-ci.sh +++ b/scripts/dev/pylint-ci.sh @@ -3,6 +3,8 @@ PYLINT=${PYLINT:-pylint} "$PYLINT" --version "$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 "$@" +"$PYLINT" --disable=E0401 "$@/common/modules" + # C0103 invalid-name # C0301 line-too-long |