From da2fcac272be9f39cb07fb1e5b7882272679d71f Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 3 Jun 2019 16:32:15 -0700 Subject: [PATCH] other path? Signed-off-by: Nikolaj Bjorner --- scripts/mk_win_dist.cmd | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/mk_win_dist.cmd b/scripts/mk_win_dist.cmd index 28f1a86bc..22ee71e17 100644 --- a/scripts/mk_win_dist.cmd +++ b/scripts/mk_win_dist.cmd @@ -1,4 +1,4 @@ -call "C:\Programs\Microsoft Visual Studio\2017\Enterprise\VC\Auxiliary\Build\vcvars64.bat" +call "C:\Program Files (x86)\Microsoft Visual Studio\2017\Enterprise\VC\Auxiliary\Build\vcvars64.bat" python scripts\mk_win_dist.py