build: Download disk correctly on Windows

2020-07-27 20:53:43 -07:00 · 2020-07-27 20:53:43 -07:00 · e851de04f9
parent 4c804767b1
commit e851de04f9
1 changed files with 4 additions and 1 deletions
--- a/tools/download-disk.ps1
+++ b/tools/download-disk.ps1
@ -1,5 +1,8 @@
 cd src/basilisk
-Start-FileDownload $env:DISK_URL -FileName disk.zip -Timeout 600000
+
+$wc = New-Object System.Net.WebClient
+$wc.DownloadFile($env:DISK_URL, "$(Resolve-Path .)\disk.zip")
+
 7z x disk.zip -y -aoa
 Remove-Item disk.zip
 cd ../..