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

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

diff --git a/scripts/azure-pipeline.vs.yaml b/scripts/azure-pipeline.vs.yaml
index d30ddbc4d..5cad53309 100644
--- a/scripts/azure-pipeline.vs.yaml
+++ b/scripts/azure-pipeline.vs.yaml
@@ -10,7 +10,8 @@ steps:
     version: 2.1.300
 
 
-- task: Bash@3
+- task: BatchScript@1
+  displayName: 'Setup VS'
   inputs:
     filePath: 'C:\Program Files (x86)\Microsoft Visual Studio\2017\Enterprise\VC\Auxiliary\Build\vcvarsall.bat'
     arguments: 'x64'