mkdir -p

xmos · Sep 22, 2023 · 41b9936 · 41b9936
1 parent 3140cd8
commit 41b9936
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 ..'