diff --git a/pylint.sh b/pylint.sh index d7295ccf..edb4a558 100755 --- a/pylint.sh +++ b/pylint.sh @@ -1,6 +1,6 @@ #!/bin/sh -set -e -x +set -e env if [ -f /var/lib/jenkins/pylint.django.rc ]; then PYLINT_RC=/var/lib/jenkins/pylint.django.rc