From d92154d4975f0970a48106093b2a5c70f288c79b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20P=C3=A9ters?= <fpeters@entrouvert.com>
Date: Sat, 17 Jan 2015 16:50:55 +0100
Subject: [PATCH] jenkins: pin pylint to 1.4.0

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

diff --git a/jenkins/jenkins.sh b/jenkins/jenkins.sh
index 5927970c..a2690a80 100755
--- a/jenkins/jenkins.sh
+++ b/jenkins/jenkins.sh
@@ -1,6 +1,6 @@
 #!/bin/sh
 
-pip install --upgrade pip pylint django-jux
+pip install --upgrade pip pylint==1.4.0 django-jux
 pip install --upgrade -r requirements.txt
 cp jenkins/local_settings.py.example local_settings.py
 ./manage.py syncdb --all --noinput