From 269ea4a1d1dfa577c8b021485254dc894710d53a Mon Sep 17 00:00:00 2001
From: Benjamin Dauvergne <bdauvergne@entrouvert.com>
Date: Wed, 22 Mar 2017 23:34:26 +0100
Subject: [PATCH] jenkins.sh: force recreation of tox environment on each run

---
 jenkins.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/jenkins.sh b/jenkins.sh
index 154ffce..3291936 100755
--- a/jenkins.sh
+++ b/jenkins.sh
@@ -7,11 +7,11 @@ rm -f *test_results.xml
 
 ./getlasso.sh
 pip install --upgrade setuptools
-pip install --upgrade 'pip<8'
+pip install --upgrade pip
 pip install --upgrade pylint pylint-django
 pip install --upgrade tox
 
-tox
+tox -r
 
 ./merge-junit-results.py junit-*.xml >test_results.xml
 ./merge-coverage.py -o coverage.xml coverage-*.xml