diff --git a/pylint.sh b/pylint.sh new file mode 100755 index 0000000..241d24c --- /dev/null +++ b/pylint.sh @@ -0,0 +1,13 @@ +#!/bin/bash + +set -e + +if [ -f /var/lib/jenkins/pylint.django.rc ]; then + PYLINT_RC=/var/lib/jenkins/pylint.django.rc +elif [ -f pylint.django.rc ]; then + PYLINT_RC=pylint.django.rc +else + echo No pylint RC found + exit 0 +fi +pylint -f parseable --rcfile ${PYLINT_RC} "$@" > pylint.out || /bin/true