aboutsummaryrefslogtreecommitdiffstats
path: root/tools
diff options
context:
space:
mode:
Diffstat (limited to 'tools')
-rw-r--r--tools/coding-checks.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/coding-checks.sh b/tools/coding-checks.sh
index 6a12a1e99..615f2c3de 100644
--- a/tools/coding-checks.sh
+++ b/tools/coding-checks.sh
@@ -40,7 +40,7 @@ run_pylint () {
fi
# make Jenkins output parseable because Jenkins doesn't handle color
# enventually we should use the Jenkins Pylint plugin or other tools
- if [ -n "${JENKINS_HOME:-}" ] ; then
+ if [ -n "${BRANCH:-}" ] ; then
output_format="--output-format=parseable"
fi
echo "Running pylint..."