mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 09:34:08 +00:00
Code Activity

tweaks to mk_nuget_release

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2018-11-19 15:35:49 -08:00
parent 76d0a5a6ed
commit a076e33037
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
scripts/mk_nuget_release.py
View file

@ -35,7 +35,6 @@ def download_installs():
name = asset['name'] name = asset['name']
print("Downloading ", url) print("Downloading ", url)
sys.stdout.flush() sys.stdout.flush()
continue
urllib.request.urlretrieve(url, "packages/%s" % name) urllib.request.urlretrieve(url, "packages/%s" % name)
os_info = {"z64-ubuntu-14" : ('so', 'ubuntu.14.04-x64'), os_info = {"z64-ubuntu-14" : ('so', 'ubuntu.14.04-x64'),