From 17944ad908866aaaf5c4e599fc902c1e1b071273 Mon Sep 17 00:00:00 2001
From: Brennan Magee <brennan@xmos.com>
Date: Tue, 30 May 2023 17:08:32 +0100
Subject: [PATCH] Use bat not sh for windows builds on Jenkins

This was causing an issue where the windows workspaces could not be cleared.
---
 Jenkinsfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index d37e570e..138f9ffd 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -153,8 +153,8 @@ pipeline {
                   withVS() {
                     bat 'msbuild host_usb_mixer_control.vcxproj /property:Configuration=Release /property:Platform=x64'
                   }
-                  sh 'mkdir Win/x64'
-                  sh 'mv bin/Release/x64/host_usb_mixer_control.exe Win/x64/xmos_mixer.exe'
+                  bat 'mkdir Win\\x64'
+                  bat 'mv bin/Release/x64/host_usb_mixer_control.exe Win/x64/xmos_mixer.exe'
                   archiveArtifacts artifacts: "Win/x64/xmos_mixer.exe", fingerprint: true
               }
             }