From dd5a48d77c2d65a2685ac192f4edf65f5377a523 Mon Sep 17 00:00:00 2001
From: Dustin Carlino <dabreegster@gmail.com>
Date: Sat, 7 Oct 2023 09:33:11 +0100
Subject: [PATCH] Blindly try fixing the Windows .bat scripts. #1093, #1092

---
 release/build.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/release/build.sh b/release/build.sh
index 5e7368b604..29172fbe75 100755
--- a/release/build.sh
+++ b/release/build.sh
@@ -56,6 +56,8 @@ for name in play_abstreet ungap_the_map fifteen_min osm_viewer parking_mapper sa
 			;;
 	esac
 	if [[ "$os" = "windows-latest" ]]; then
+		# The directory separator is backslash
+		cmd=`$cmd | sed 's/\\//\\\/g'`
 		script="${output}/${name}.bat"
 		echo 'set RUST_BACKTRACE=1' > $script
 		echo "${cmd} 1> output.txt 2>&1" >> $script