From b89687f6d7328659e4b5588473ab8d4c7516685f Mon Sep 17 00:00:00 2001
From: Tobias Gruetzmacher <tobias-git@23.gs>
Date: Wed, 19 Aug 2020 11:05:36 +0200
Subject: [PATCH] Jenkins: Don't use system tox

In some cases it may pick up the system Python version instead of the
"local" Python version, which leads to pip install errors.
---
 Jenkinsfile | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index a05e61117..498bbc8db 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -77,10 +77,9 @@ timestamps {
 
 def buildDockerfile(image) {
     def uid = sh(returnStdout: true, script: 'id -u').trim()
-    def toxInst = 'apt-get update && apt-get -y install tox'
     writeFile file: 'Dockerfile', text: """
     FROM $image
-    RUN $toxInst
+    RUN pip install tox
     RUN useradd -mu $uid dockerjenkins
     """
 }