From 527f824adff5715b112d14b748ae4a37a5726d6a Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 25 Jan 2024 15:07:54 -0800 Subject: [PATCH] update java install/build Signed-off-by: Nikolaj Bjorner --- scripts/mk_win_dist_cmake.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/mk_win_dist_cmake.py b/scripts/mk_win_dist_cmake.py index c4d691b6f30..54d4bfd0f32 100644 --- a/scripts/mk_win_dist_cmake.py +++ b/scripts/mk_win_dist_cmake.py @@ -258,7 +258,7 @@ def mk_z3(arch): cmds.append('cd %s' % build_dir) cmds.append('nmake install') if exec_cmds(cmds) != 0: - raise MKException("Failed to make z3")) + raise MKException("Failed to make z3") def mk_z3s(): global ARCHS