From 3c387c8585ed68bed2cd49b3ae05f53aa9bd83c4 Mon Sep 17 00:00:00 2001
From: Sylvain Tricot <sylvain.tricot@univ-rennes1.fr>
Date: Fri, 6 Dec 2019 13:49:28 +0100
Subject: [PATCH] Fix bug in Jenkinsfile

The "create setup file" failed because coverage module was not found.
It is installed in the virtualenv so the command load the venv first now.
---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index cbfa2fc..3793fd6 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -15,7 +15,7 @@ pipeline {
         }
         stage('Create a setup file...') {
             steps {
-                sh '. ~/.profile && make selfex VERBOSE=1 PYTHONPATH=$PWD/src'
+                sh '. ~/.profile && . ./ci_venv/bin/activate && make selfex VERBOSE=1 PYTHONPATH=$PWD/src'
             }
         }
         stage('Test installation...') {