From 785b7f3e6a3f3e2a05421d68cc2b75f6a88004d2 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 18 Mar 2018 17:03:06 -0700
Subject: [PATCH] vsts cmd

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 vsts.cmd | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/vsts.cmd b/vsts.cmd
index 8d715f6a0..8ef516423 100644
--- a/vsts.cmd
+++ b/vsts.cmd
@@ -1,7 +1,6 @@
 md build
 cd build
 set
-"C:\Program Files (x86)\Microsoft Visual Studio\2017\Enterprise\VC\Auxiliary\Build\vcvars64.bat"
-%VS140COMNTOOLS%\vcvars64.bat
+call "C:\Program Files (x86)\Microsoft Visual Studio\2017\Enterprise\VC\Auxiliary\Build\vcvars64.bat"
 cmake -G "NMake Makefiles" ../
 nmake