diff --git a/Jenkinsfile b/Jenkinsfile index 22330c7..505eea2 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -9,8 +9,8 @@ pipeline { script { echo "Building and running tests in Docker for feature branch..." try { - def targetDirAmd = "${env.WORKSPACE}/${env.CHANGE_BRANCH}/x86" - def targetDirRisc = "${env.WORKSPACE}/${env.CHANGE_BRANCH}/riscv" + def targetDirAmd = "${env.WORKSPACE}/${env.CHANGE_BRANCH}/x86/" + def targetDirRisc = "${env.WORKSPACE}/${env.CHANGE_BRANCH}/riscv/" sh "mkdir -p ${targetDir}"