From c568c0908651ed4b3a8f8ec3fa97c52dc2aa6271 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 13 Feb 2013 10:46:00 -0800 Subject: [PATCH] Rename windows nightly build 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 85c1dddfc..137ea431c 100644 --- a/scripts/mk_win_dist.py +++ b/scripts/mk_win_dist.py @@ -161,9 +161,9 @@ def get_z3_name(x64): else: platform = "x86" if GIT_HASH: - return 'z3-win-%s.%s.%s.%s-%s' % (major, minor, build, mk_util.git_hash(), platform) + return 'z3-%s.%s.%s.%s-%s-win' % (major, minor, build, mk_util.git_hash(), platform) else: - return 'z3-win-%s.%s.%s-%s' % (major, minor, build, platform) + return 'z3-%s.%s.%s-%s-win' % (major, minor, build, platform) def mk_dist_dir_core(x64): if x64: