From 35b36168a3327dc533c68dcb04793554bebed025 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 4 Jun 2019 12:55:30 -0700 Subject: [PATCH] fix to 32 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 bbb25d727..de402000b 100644 --- a/scripts/mk_win_dist.cmd +++ b/scripts/mk_win_dist.cmd @@ -2,7 +2,7 @@ call "C:\Program Files (x86)\Microsoft Visual Studio\2017\Enterprise\VC\Auxiliar python scripts\mk_win_dist.py --x64-only -call "C:\Program Files (x86)\Microsoft Visual Studio\2017\Enterprise\VC\Auxiliary\Build\vcvars86.bat" +call "C:\Program Files (x86)\Microsoft Visual Studio\2017\Enterprise\VC\Auxiliary\Build\vcvars32.bat" python scripts\mk_win_dist.py --x86-only