From 9e54cd63dcd5964699bbbfd3faf3a6e1b8b3746e Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 20 Dec 2020 16:19:21 -0800
Subject: [PATCH] wrap remove/move

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/nightly.yaml | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 0f32ebef4..d11ffa4f5 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -149,6 +149,19 @@ stages:
         basePath: $(Agent.TempDirectory)\package\out
         packDestination: $(Build.ArtifactStagingDirectory)
         verbosityPack: detailed
+    - task: PythonScript@0
+      displayName: 'Python: assemble files'
+      inputs:
+        scriptSource: 'filepath'
+        scriptPath: scripts\mk_nuget_task.py
+        workingDirectory: $(Agent.TempDirectory)\package
+        arguments:
+          $(Agent.TempDirectory)\package
+          $(ReleaseVersion)
+          $(Build.Repository.Uri)
+          $(Build.SourceBranchName)
+          $(Build.SourceVersion)
+          $(Build.SourcesDirectory)
     - task: NugetCommand@2
       displayName: 'NuGet Pack Symbols'
       inputs: