From be570c212f5a58058811e521dabd69bea554e720 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 3 Jun 2019 16:04:15 -0700
Subject: [PATCH] add windist cmd

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

diff --git a/scripts/mk_win_dist.cmd b/scripts/mk_win_dist.cmd
new file mode 100644
index 000000000..b54337252
--- /dev/null
+++ b/scripts/mk_win_dist.cmd
@@ -0,0 +1,4 @@
+call "C:\Program Files (x86)\Microsoft Visual Studio\2017\Enterprise\VC\Auxiliary\Build\vcvarsall.bat" x64
+
+python scripts\mk_win_dist.py
+