From 81c0e91897c5e7615ecd7fa1237186ce3b4a080a Mon Sep 17 00:00:00 2001
From: Guillaume Raffy <guillaume.raff@univ-rennes1.fr>
Date: Fri, 10 Apr 2020 16:41:37 +0200
Subject: [PATCH] hope that the syntax for BUILD_ROOT_PATH  is right this time

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 7071d8d..f6a7749 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...') {