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

Fix the bug in load .profile (changed to ~/.profile)...
---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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