From 5a20413d04ef8a4c77641431ec833bbef95a448c Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 20 Dec 2020 18:03:06 -0800
Subject: [PATCH] na

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

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 65b095be7..655d175bf 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -166,12 +166,9 @@ stages:
       displayName: 'NuGet Pack Symbols'
       inputs:
         command: custom
-        arguments: pack -p:SymbolPackageFormat=snupkg
-        packagesToPack: $(Agent.TempDirectory)\package\out\Microsoft.Z3.x64.nuspec
-        basePath: $(Agent.TempDirectory)\package\out
+        arguments: nuget pack $(Agent.TempDirectory)\package\out\Microsoft.Z3.x64.nuspec -SymbolPackageFormat snupkg -BasePath $(Agent.TempDirectory)\package\out
         packDestination: $(Build.ArtifactStagingDirectory)
         verbosityPack: detailed
-        includeSymbols: true
 
   - job: Python
     displayName: "Python packaging"