From 363657717caaac6066b39c25882a47600d3b0138 Mon Sep 17 00:00:00 2001
From: Andrew Schwartzmeyer <andschwa@microsoft.com>
Date: Fri, 2 Sep 2016 15:19:53 -0700
Subject: [PATCH] Handle package download failure

---
 tools/download.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/tools/download.sh b/tools/download.sh
index 4a3cb58f4..90ba9b02d 100755
--- a/tools/download.sh
+++ b/tools/download.sh
@@ -70,6 +70,11 @@ packageuri=$(curl -s -i -H 'Accept: application/octet-stream' "https://api.githu
     grep location | sed 's/location: //g')
 curl -C - -o "$package" ${packageuri%$'\r'}
 
+if [[ ! -r "$package" ]]; then
+    echo "ERROR: $package failed to download! Aborting..." >&2
+    exit 1
+fi
+
 # Installs PowerShell package
 case "$OSTYPE" in
     linux*)