diff --git a/Jenkins/Phabricator-windows-pipeline/Jenkinsfile b/Jenkins/Phabricator-windows-pipeline/Jenkinsfile index 3831703..05552e3 100644 --- a/Jenkins/Phabricator-windows-pipeline/Jenkinsfile +++ b/Jenkins/Phabricator-windows-pipeline/Jenkinsfile @@ -48,7 +48,8 @@ pipeline { echo "getting llvm-project... " dir("llvm-project") { - bat "rd /s/q build" + bat "" + bat 'if exist "build" rd /s/q "build"' git url: 'https://github.com/llvm/llvm-project.git' } powershell "New-Item -ItemType Directory -Force -Path ${RESULT_DIR}"