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

---
 scripts/azure-pipeline.vs.yaml | 10 ++--------
 1 file changed, 2 insertions(+), 8 deletions(-)

diff --git a/scripts/azure-pipeline.vs.yaml b/scripts/azure-pipeline.vs.yaml
index fc5acaa43..b58467dc9 100644
--- a/scripts/azure-pipeline.vs.yaml
+++ b/scripts/azure-pipeline.vs.yaml
@@ -11,14 +11,8 @@ steps:
 
 
 - task: BatchScript@1
-  displayName: 'Setup VS'
+  displayName: 'run windist'
   inputs:
-    filePath: '"C:\Program Files (x86)\Microsoft Visual Studio\2017\Enterprise\VC\Auxiliary\Build\vcvarsall.bat"'
-    arguments: 'x64'
+    filePath: 'scripts\mk_win_dist.cmd'
 
 
-- task: PythonScript@0
-  inputs:
-    scriptSource: 'filePath'
-    scriptPath: 'scripts\mk_win_dist.py'
-