From 9f4bcdafcb835ebfe3b69d1a0ea30269bb25bdbe Mon Sep 17 00:00:00 2001
From: Benjamin Dauvergne <bdauvergne@entrouvert.com>
Date: Wed, 28 Nov 2018 17:00:44 +0100
Subject: [PATCH] pylint.sh: remove "set -x"

---
 pylint.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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