diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/coding-checks.sh | 2 |
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..." |