From 715b1fd39360632de5ceec5546315e43ad8ab528 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 20 Dec 2020 17:54:11 -0800
Subject: [PATCH] try snupkg parameter

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

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index d11ffa4f5..65b095be7 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -165,7 +165,8 @@ stages:
     - task: NugetCommand@2
       displayName: 'NuGet Pack Symbols'
       inputs:
-        command: pack
+        command: custom
+        arguments: pack -p:SymbolPackageFormat=snupkg
         packagesToPack: $(Agent.TempDirectory)\package\out\Microsoft.Z3.x64.nuspec
         basePath: $(Agent.TempDirectory)\package\out
         packDestination: $(Build.ArtifactStagingDirectory)