From bdea36036d5aa02dc98fd3a747008e9135cbacbc Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 4 Jun 2019 00:51:07 +0200 Subject: [PATCH] Update azure-pipeline.vs.yaml for Azure Pipelines --- scripts/azure-pipeline.vs.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/azure-pipeline.vs.yaml b/scripts/azure-pipeline.vs.yaml index c0d321aa0..fc5acaa43 100644 --- a/scripts/azure-pipeline.vs.yaml +++ b/scripts/azure-pipeline.vs.yaml @@ -13,7 +13,7 @@ steps: - task: BatchScript@1 displayName: 'Setup VS' inputs: - filePath: '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'