From 8f2cc6c03d94b6975278f9ab12fcdad699f8d3d3 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 4 Jun 2019 12:50:45 -0700 Subject: [PATCH] updated dist cmd wrapper Signed-off-by: Nikolaj Bjorner --- scripts/mk_win_dist.cmd | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/scripts/mk_win_dist.cmd b/scripts/mk_win_dist.cmd index 22ee71e17..bbb25d727 100644 --- a/scripts/mk_win_dist.cmd +++ b/scripts/mk_win_dist.cmd @@ -1,4 +1,10 @@ call "C:\Program Files (x86)\Microsoft Visual Studio\2017\Enterprise\VC\Auxiliary\Build\vcvars64.bat" -python scripts\mk_win_dist.py +python scripts\mk_win_dist.py --x64-only + +call "C:\Program Files (x86)\Microsoft Visual Studio\2017\Enterprise\VC\Auxiliary\Build\vcvars86.bat" + +python scripts\mk_win_dist.py --x86-only + +