Blindly try fixing the Windows .bat scripts. #1093, #1092

a-b-street · Oct 7, 2023 · dd5a48d · dd5a48d
1 parent abcf812
commit dd5a48d
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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