diff --git a/Jenkinsfile b/Jenkinsfile index 8605614c..df30cd8b 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -115,7 +115,7 @@ pipeline { dir("${REPO}") { withTools(params.TOOLS_VERSION) { withVenv { - sh 'mkdir build' + sh 'mkdir -p build' dir("build") { sh 'rm -rf' sh 'cmake --toolchain ../xmos_cmake_toolchain/xs2a.cmake ..'