From b0a4d3c00d3ef5a85e50c1a6fdc0a881e40a2316 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 30 Jan 2013 09:14:19 -0800 Subject: [PATCH] Add win to Z3 windows binary dist zip file Signed-off-by: Leonardo de Moura --- scripts/mk_win_dist.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/mk_win_dist.py b/scripts/mk_win_dist.py index a8c4fd3ba..961425101 100644 --- a/scripts/mk_win_dist.py +++ b/scripts/mk_win_dist.py @@ -159,9 +159,9 @@ def get_z3_name(x64): else: platform = "x86" if GIT_HASH: - return 'z3-%s.%s.%s.%s-%s' % (major, minor, build, mk_util.git_hash(), platform) + return 'z3-win-%s.%s.%s.%s-%s' % (major, minor, build, mk_util.git_hash(), platform) else: - return 'z3-%s.%s.%s-%s' % (major, minor, build, platform) + return 'z3-win-%s.%s.%s-%s' % (major, minor, build, platform) def mk_dist_dir_core(x64): if x64: