From 85497a7e4a526f754fca14fe1a79487982cb9b09 Mon Sep 17 00:00:00 2001
From: JT <mohnjiles@gmail.com>
Date: Wed, 7 Jun 2023 14:57:48 -0700
Subject: [PATCH] try deleteDir instead of bat script for cleaning ws

---
 Jenkinsfile | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 41a2ad09..3e92074d 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -4,9 +4,7 @@ node("Windows") {
     def version = ""
 
     stage('Clean') {
-        bat """set folder="${env.WORKSPACE}"
-        cd /d %folder%
-        for /F "delims=" %%i in (\'dir /b\') do (rmdir "%%i" /s/q || del "%%i" /s/q)"""
+        deleteDir()
     }
 
     stage('Checkout') {