summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xgit/pylint.sh4
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 $?