From babac47fe1f8a8edcbdc4b173768f1dd0bd420fe Mon Sep 17 00:00:00 2001
From: Pierre-Yves Chibon <pingou@pingoured.fr>
Date: Jun 09 2018 05:59:50 +0000
Subject: Install tox rather than detox on jenkins


Thanks @abompard

Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>

---

diff --git a/run_ci_tests.sh b/run_ci_tests.sh
index ba5776a..1e59705 100755
--- a/run_ci_tests.sh
+++ b/run_ci_tests.sh
@@ -31,7 +31,7 @@ echo "Last commits:"
 git log -2
 fi
 
-pip install --upgrade detox
+pip install --upgrade tox
 pip install --upgrade --force-reinstall pygments chardet
 pip3 install "pygit2 == `rpm -q libgit2 --queryformat='%{version}'`"
 parallel -v ::: \