diff --git a/Jenkins/release-pipeline/Jenkinsfile b/Jenkins/release-pipeline/Jenkinsfile index ece1c48..77a946d 100644 --- a/Jenkins/release-pipeline/Jenkinsfile +++ b/Jenkins/release-pipeline/Jenkinsfile @@ -27,8 +27,8 @@ pipeline { MY_BUILD_ID = "${JOB_BASE_NAME}-${BUILD_NUMBER}" TARGET_DIR="/mnt/nfs/results/${MY_BUILD_ID}" SCRIPT_DIR = "${WORKSPACE}/llvm-premerge-checks/scripts" - RESULT_DIR = "${WORKSPACE}\\results" - LLVM_DIR = "${WORKSPACE}\\llvm-project" + RESULT_DIR = "${WORKSPACE}/results" + LLVM_DIR = "${WORKSPACE}/llvm-project" } stages { stage("git checkout"){