From a076e330372c1ae2a5cea1c0c1c8809e0c1b889e Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 19 Nov 2018 15:35:49 -0800
Subject: [PATCH] tweaks to mk_nuget_release

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/mk_nuget_release.py | 1 -
 1 file changed, 1 deletion(-)

diff --git a/scripts/mk_nuget_release.py b/scripts/mk_nuget_release.py
index 265968b7e..7ce14bf5d 100644
--- a/scripts/mk_nuget_release.py
+++ b/scripts/mk_nuget_release.py
@@ -35,7 +35,6 @@ def download_installs():
         name = asset['name']
         print("Downloading ", url)
         sys.stdout.flush()
-        continue
         urllib.request.urlretrieve(url, "packages/%s" % name)
 
 os_info = {"z64-ubuntu-14" : ('so', 'ubuntu.14.04-x64'),