From b7f9d96c2dcf0d224cb058d94fc1147110838722 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 5 Jun 2019 06:05:32 +0200 Subject: [PATCH] Update azure-pipeline.vs.yaml for Azure Pipelines --- scripts/azure-pipeline.vs.yaml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/scripts/azure-pipeline.vs.yaml b/scripts/azure-pipeline.vs.yaml index 4575cfe99..226d180af 100644 --- a/scripts/azure-pipeline.vs.yaml +++ b/scripts/azure-pipeline.vs.yaml @@ -4,7 +4,7 @@ pool: steps: -- script: git clone https://github.com/z3prover/bin bin +# - script: git clone https://github.com/z3prover/bin bin - task: DotNetCoreInstaller@0 displayName: 'Use .NET Core sdk 2.1' @@ -17,7 +17,8 @@ steps: - script: dir -- script: call "C:\\Program\ Files\ (x86)\\Microsoft\ Visual\ Studio\\2017\\Enterprise\\VC\\Auxiliary\\Build\\vcvars64.bat" +- script: 'C:\Program\ Files\ (x86)\\Microsoft\ Visual\ Studio\\2017\\Enterprise\\VC\\Auxiliary\\Build\\vcvars64.bat' + - script: python scripts\mk_win_dist.py --x64-only --dotnet-key=$(Agent.TempDirectory)\z3.snk