Update build.cmd to avoid usage of curl, and to instead shell out to PowerShell, which uses Invoke-WebRequest.

Aaron Holmes · Aaron Holmes · commit c3604373349a · 2016-03-04T14:08:26.000-08:00
diff --git a/build.cmd b/build.cmd
@@ -1,10 +1,12 @@
 @echo off
 cls
 
-if not exist .paket (
+if not exist .paket mkdir .paket
+
+if not exist .paket/paket.bootstrapper.exe (
   @echo "Installing Paket"
-  mkdir .paket
-  curl https://github.com/fsprojects/Paket/releases/download/2.12.5/paket.bootstrapper.exe -L --insecure -o .paket\paket.bootstrapper.exe
+  Powershell.exe -File download.ps1
+
 
   .paket\paket.bootstrapper.exe prerelease
   if errorlevel 1 (
diff --git a/download.ps1 b/download.ps1
@@ -0,0 +1 @@
+Invoke-WebRequest -Uri https://github.com/fsprojects/Paket/releases/download/2.12.5/paket.bootstrapper.exe -OutFile .paket\paket.bootstrapper.exe

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+Invoke-WebRequest -Uri https://github.com/fsprojects/Paket/releases/download/2.12.5/paket.bootstrapper.exe -OutFile .paket\paket.bootstrapper.exe`