From 35e2e6c82cc010a3608dc8fb29e37aec70d582c3 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 4 Jun 2019 00:37:30 +0200
Subject: [PATCH] Update azure-pipeline.vs.yaml for Azure Pipelines

---
 scripts/azure-pipeline.vs.yaml | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/scripts/azure-pipeline.vs.yaml b/scripts/azure-pipeline.vs.yaml
index 817e544b7..3eba94269 100644
--- a/scripts/azure-pipeline.vs.yaml
+++ b/scripts/azure-pipeline.vs.yaml
@@ -9,7 +9,13 @@ steps:
   inputs:
     version: 2.1.300
 
-- task: PythonScript@0
+- task: VSEnvironment@1
+  displayName: 'Set VS environment'
+  inputs:
+    filename: 'C:\Program Files (x86)\Microsoft Visual Studio\2017\Enterprise\VC\Auxiliary\Build\vcvarsall.bat'
+    arguments: 'x64'
+
+- task: PythonScript@2
   inputs:
     scriptSource: 'filePath'
     scriptPath: 'scripts\mk_win_dist.py'