diff options
| -rwxr-xr-x | git/pylint.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git/pylint.sh b/git/pylint.sh index 73d08e00c..e070fe7b2 100755 --- a/git/pylint.sh +++ b/git/pylint.sh @@ -7,6 +7,6 @@ TRG_BRANCH=$3 /usr/bin/git diff --name-only $OLDREV $NEWREV --diff-filter=ACM | \ grep ".py$" | \ - xargs -r -I{} /usr/bin/python -m pylint --rcfile ${WORKSPACE}/git/.pylintrc {} + xargs -r -I{} pylint --rcfile ${WORKSPACE}/git/.pylintrc {} exit $? |