From f6ebcadc0a5965872784c4ca744c9428009ea0fa Mon Sep 17 00:00:00 2001
From: Benjamin Dauvergne <bdauvergne@entrouvert.com>
Date: Mon, 31 Aug 2020 13:46:38 +0200
Subject: [PATCH] Jenkinsfile: use python3-venv

---
 Jenkinsfile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 9ca934d..19cfc64 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -15,7 +15,10 @@ pipeline {
                 cleanWs()
                 dir ("repository") {
                     checkout scm
-                    tox()
+                    sh """
+python3 -m venv ${env.TMPDIR}/venv/
+${env.TMPDIR}/venv/bin/pip install tox
+PGPORT=`python -c 'import struct; import socket; s=socket.socket(); s.setsockopt(socket.SOL_SOCKET, socket.SO_LINGER, struct.pack("ii", 1, 0)); s.bind(("", 0)); print(s.getsockname()[1]); s.close()'` pg_virtualenv -o fsync=off ${env.TMPDIR}/venv/bin/tox -r"""
                 }
             }
             post {