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...') {