From c24cb10899c6abf2866b6989dd859ef1426ee611 Mon Sep 17 00:00:00 2001
From: Guillaume Raffy <guillaume.raff@univ-rennes1.fr>
Date: Fri, 10 Apr 2020 15:24:40 +0200
Subject: [PATCH] fix (hopefully) jenkins syntax with BUILD_ROOT_PATH

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 66af9e9..7071d8d 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -4,7 +4,7 @@ pipeline {
         // GRAFFY_OWNCLOUD_JENKINS_PWD's value has been obtained from https://cloud.ipr.univ-rennes1.fr as an app password and is defined in gitlab as a CI secret variable,
         // then this app password has been declared to jenkins's credentials as a secret text with the name graffy-cloudipr-for-jenkinsipr
         GRAFFY_OWNCLOUD_JENKINS_PWD = credentials('graffy-cloudipr-for-jenkinsipr')
-        BUILD_ROOT_PATH = $WORKSPACE/build
+        BUILD_ROOT_PATH = $WORKSPACE + '/build'
     }
     stages {
         stage('Initial setup...') {