From 180858cf416f777427dfcd32ebddb527d492b2aa Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Christian=20K=C3=BChnel?= <kuhnel@google.com>
Date: Thu, 23 Jan 2020 18:12:31 +0100
Subject: [PATCH] only deleting the folder if it exists

---
 Jenkins/Phabricator-windows-pipeline/Jenkinsfile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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}"