From 84a7f3fcd0778e78db160f2f3e90ad9d3a169a16 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 21 Dec 2020 08:54:46 -0800 Subject: [PATCH] quote? Signed-off-by: Nikolaj Bjorner --- scripts/nightly.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml index 655d175bf..9cf913d09 100644 --- a/scripts/nightly.yaml +++ b/scripts/nightly.yaml @@ -166,7 +166,7 @@ stages: displayName: 'NuGet Pack Symbols' inputs: command: custom - arguments: nuget pack $(Agent.TempDirectory)\package\out\Microsoft.Z3.x64.nuspec -SymbolPackageFormat snupkg -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