Always remove the downloaded files.zip file.

dlemstra · dlemstra · commit 46c7bd24536a · 2025-07-24T17:48:13.000+02:00
diff --git a/.github/build/windows/download-configure.sh b/.github/build/windows/download-configure.sh
@@ -23,7 +23,8 @@ download_configure()
   download_release "Configure" "$version" "Configure.Release.arm64.exe"
   download_release "Configure" "$version" "Configure.Release.x86.exe"
   download_release "Configure" "$version" "files.zip"
-  unzip -o "files.zip" && rm "files.zip"
+  unzip -o "files.zip"
+  rm "files.zip"
 
   cd ..
 }

Original file line number	Diff line number	Diff line change
`@@ -23,7 +23,8 @@ download_configure()`
`23`	`23`	`download_release "Configure" "$version" "Configure.Release.arm64.exe"`
`24`	`24`	`download_release "Configure" "$version" "Configure.Release.x86.exe"`
`25`	`25`	`download_release "Configure" "$version" "files.zip"`
`26`		`- unzip -o "files.zip" && rm "files.zip"`
	`26`	`+ unzip -o "files.zip"`
	`27`	`+ rm "files.zip"`
`27`	`28`
`28`	`29`	`cd ..`
`29`	`30`	`}`