From 573a010879583885a0193e30dc0b8c848d80869b Mon Sep 17 00:00:00 2001
From: Gautam Kumar <gakumar@fb.com>
Date: Mon, 9 Oct 2017 18:20:12 -0700
Subject: [PATCH] Delete workspace before build. (#8195)

* Delete workspace before build.

* Move 'deleteDir' outside the retry.
---
 Jenkinsfile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 50398ce99e00..14d1ce411d14 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -13,6 +13,7 @@ err = null
 
 // initialize source codes
 def init_git() {
+  deleteDir()
   retry(5) {
     try {
       timeout(time: 2, unit: 'MINUTES') {
@@ -29,6 +30,7 @@ def init_git() {
 }
 
 def init_git_win() {
+  deleteDir()
   retry(5) {
     try {
       timeout(time: 2, unit: 'MINUTES') {