From af442cf28119c3453cd1ac3c36d39c877b471d79 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 21 Oct 2019 09:29:43 -0700
Subject: [PATCH] update nightly runner

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/mk_nuget_task.py | 13 +------------
 scripts/nightly.yaml     |  5 ++++-
 2 files changed, 5 insertions(+), 13 deletions(-)

diff --git a/scripts/mk_nuget_task.py b/scripts/mk_nuget_task.py
index bda34f32d..00f96f660 100644
--- a/scripts/mk_nuget_task.py
+++ b/scripts/mk_nuget_task.py
@@ -11,7 +11,6 @@
 
 import json
 import os
-import urllib.request
 import zipfile
 import sys
 import os.path
@@ -20,16 +19,6 @@ import subprocess
 import mk_util
 import mk_project
 
-#release_data = json.loads(urllib.request.urlopen("https://api.github.com/repos/Z3Prover/z3/releases/latest").read().decode())
-#release_tag_name = release_data['tag_name']
-#release_tag_ref_data = json.loads(urllib.request.urlopen("https://api.github.com/repos/Z3Prover/z3/git/refs/tags/%s" % release_tag_name).read().decode())
-#release_tag_sha = release_tag_ref_data['object']['sha']
-
-#release_version = release_tag_name[3:]
-#release_commit = release_tag_sha # release_tag_data['object']['sha']
-
-#print(release_version)
-
 def mk_dir(d):
     if not os.path.exists(d):
         os.makedirs(d)
@@ -166,7 +155,7 @@ def sign_nuget_package():
     
     
 def main():
-    packages = sys.argv[0]
+    packages = sys.argv[1]
     print(packages)
     mk_dir(packages)    
     unpack(packages)
diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index ca3f90301..b38397276 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -88,7 +88,10 @@ jobs:
     inputs:
      artifactName: 'Ubuntu'
      targetPath: tmp
-  - script: python scripts/mk_nuget_task.py tmp
+  - script |
+       cd scripts 
+       python mk_nuget_task.py ../tmp
+       cd ..
 
 - job: Python
   displayName: "Python packaging"