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

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

diff --git a/scripts/azure-pipeline.vs.yaml b/scripts/azure-pipeline.vs.yaml
index 3eba94269..d334ccfed 100644
--- a/scripts/azure-pipeline.vs.yaml
+++ b/scripts/azure-pipeline.vs.yaml
@@ -9,13 +9,13 @@ steps:
   inputs:
     version: 2.1.300
 
-- task: VSEnvironment@1
+- task: VSEnvironment@0
   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
+- task: PythonScript@1
   inputs:
     scriptSource: 'filePath'
     scriptPath: 'scripts\mk_win_dist.py'