From a7e0f18482e69a2eb8c78e91f6f59f1c40310800 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 18 Mar 2018 16:53:04 -0700
Subject: [PATCH] vsts cmd

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 vsts.cmd | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 vsts.cmd

diff --git a/vsts.cmd b/vsts.cmd
new file mode 100644
index 000000000..7dbd84cd1
--- /dev/null
+++ b/vsts.cmd
@@ -0,0 +1,5 @@
+md build
+cd build
+set
+cmake -G "NMake Makefiles" ../
+nmake