diff options
Diffstat (limited to 'scripts')
| -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 416cc36b3..73e19a9f4 100755 --- a/scripts/dev/pylint-ci.sh +++ b/scripts/dev/pylint-ci.sh @@ -11,9 +11,10 @@ IGNORE_GTK_MODULE_ERRORS=C0103,C0301,C0330,C0415,E0401,E0611,E1101,E1133,E1136,R "$PYLINT" --version -"$PYLINT" --disable=$IGNORE_ERRORS --ignore=modules,gtk "$@" +"$PYLINT" --disable=$IGNORE_ERRORS --ignore=modules,dbus,gtk "$@" "$PYLINT" --disable=$IGNORE_GTK_MODULE_ERRORS "$@/gtk" "$PYLINT" --disable=E0401,C0415 "$@/common/modules" +"$PYLINT" "$@/common/dbus" # C0103 invalid-name # C0301 line-too-long |