diff options
Diffstat (limited to 'resources/libraries/bash')
| -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 a3cad9a0d7..919e140f28 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/" "tests/") +pylint_args=("--rcfile=pylint.cfg" "resources/") if pylint "${pylint_args[@]}" > "pylint.log"; then warn warn "Pylint checker: PASS" |