From 28e9065d29aea9ac5f95a40db96650d9fc8cc9f2 Mon Sep 17 00:00:00 2001
From: Sylvain Tricot <sylvain.tricot@univ-rennes1.fr>
Date: Fri, 29 Nov 2019 14:23:03 +0100
Subject: [PATCH] Work on CI

Load the .profile user's file for the make selfex stage since the path
to makeself is not standard
---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 9ba2aa4..6165d83 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -15,7 +15,7 @@ pipeline {
         }
         stage('Create a setup file...') {
             steps {
-                sh 'make selfex VERBOSE=1'
+                sh '. .profile && make selfex VERBOSE=1'
             }
         }
         stage('Test installation...') {