diff options
| -rwxr-xr-x | git/pylint.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/git/pylint.sh b/git/pylint.sh index e070fe7b2..286747565 100755 --- a/git/pylint.sh +++ b/git/pylint.sh @@ -5,8 +5,10 @@ OLDREV=$1 NEWREV=$2 TRG_BRANCH=$3 +PYTHON=/var/lib/jenkins/python27/bin/python + /usr/bin/git diff --name-only $OLDREV $NEWREV --diff-filter=ACM | \ grep ".py$" | \ - xargs -r -I{} pylint --rcfile ${WORKSPACE}/git/.pylintrc {} + xargs -r -I{} ${PYTHON} -m pylint --rcfile ${WORKSPACE}/git/.pylintrc {} exit $? |