From e851de04f92d52e4e1594a72136cf305a28a3a42 Mon Sep 17 00:00:00 2001
From: Felix Rieseberg <felix@felixrieseberg.com>
Date: Mon, 27 Jul 2020 20:53:43 -0700
Subject: [PATCH] build: Download disk correctly on Windows

---
 tools/download-disk.ps1 | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/tools/download-disk.ps1 b/tools/download-disk.ps1
index 3e0ef6e..7e21b71 100644
--- 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 ../..