From 2bc70ee04c329be6f577b5ac31780dc99fe67152 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20P=C3=A9ters?= <fpeters@entrouvert.com>
Date: Fri, 15 Jul 2016 14:48:28 +0200
Subject: [PATCH] jenkins: use pip -r to install dependencies

(setup.py develop fails, for whatever reason)
---
 jenkins.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/jenkins.sh b/jenkins.sh
index 6bfb614..73ed0a6 100755
--- a/jenkins.sh
+++ b/jenkins.sh
@@ -8,7 +8,7 @@ rm -f test_results.xml
 pip install --upgrade tox
 pip install --upgrade pylint pylint-django
 tox -r
-python setup.py develop
+pip install -r requirements.txt # install dependencies, for better pylint results
 test -f pylint.out && cp pylint.out pylint.out.prev
 (pylint -f parseable --rcfile /var/lib/jenkins/pylint.django.rc corbo/ | tee pylint.out) || /bin/true
 test -f pylint.out.prev && (diff pylint.out.prev pylint.out | grep '^[><]' | grep .py) || /bin/true