From d19eae1876fd5ad728a2bf422186e261e46f01db Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 3 Jun 2019 12:41:43 -0700
Subject: [PATCH] pipe v1

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/azure-pipeline.vsts-vs2013.yaml | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 scripts/azure-pipeline.vsts-vs2013.yaml

diff --git a/scripts/azure-pipeline.vsts-vs2013.yaml b/scripts/azure-pipeline.vsts-vs2013.yaml
new file mode 100644
index 000000000..fa8d5451b
--- /dev/null
+++ b/scripts/azure-pipeline.vsts-vs2013.yaml
@@ -0,0 +1,15 @@
+pool:
+  name: Hosted
+  demands: Cmd
+
+steps:
+- task: DotNetCoreInstaller@0
+  displayName: 'Use .NET Core sdk 2.1'
+  inputs:
+    version: 2.1.300
+
+- task: BatchScript@1
+  displayName: 'scripts\vsts-vs2013.cmd'
+  inputs:
+    filename: 'scripts\vsts-vs2013.cmd'
+