From 3297ab181e1924c92b0b251f6440aa8fc7700fb4 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 4 Jun 2019 00:45:18 +0200 Subject: [PATCH] Update azure-pipeline.vs.yaml for Azure Pipelines --- scripts/azure-pipeline.vs.yaml | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/scripts/azure-pipeline.vs.yaml b/scripts/azure-pipeline.vs.yaml index d334ccfed..d30ddbc4d 100644 --- a/scripts/azure-pipeline.vs.yaml +++ b/scripts/azure-pipeline.vs.yaml @@ -9,12 +9,13 @@ steps: inputs: version: 2.1.300 -- task: VSEnvironment@0 - displayName: 'Set VS environment' + +- task: Bash@3 inputs: - filename: 'C:\Program Files (x86)\Microsoft Visual Studio\2017\Enterprise\VC\Auxiliary\Build\vcvarsall.bat' + filePath: 'C:\Program Files (x86)\Microsoft Visual Studio\2017\Enterprise\VC\Auxiliary\Build\vcvarsall.bat' arguments: 'x64' + - task: PythonScript@1 inputs: scriptSource: 'filePath'