diff options
Diffstat (limited to 'resources/libraries/bash/entry/check/pylint.sh')
| -rw-r--r-- | resources/libraries/bash/entry/check/pylint.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/resources/libraries/bash/entry/check/pylint.sh b/resources/libraries/bash/entry/check/pylint.sh index 4d8c27d634..18e7d3db72 100644 --- a/resources/libraries/bash/entry/check/pylint.sh +++ b/resources/libraries/bash/entry/check/pylint.sh @@ -29,7 +29,7 @@ source "${BASH_FUNCTION_DIR}/common.sh" || { echo "Source failed." >&2 exit 1 } -pylint_args=("--rcfile=pylint.cfg" "resources/" "GPL/") +pylint_args=("--rcfile=pylint.cfg" "resources/" "GPL/traffic_scripts") if pylint "${pylint_args[@]}" > "pylint.log"; then warn warn "Pylint checker: PASS" |