diff --git a/scripts/mk_win_dist_cmake.py b/scripts/mk_win_dist_cmake.py index ae73f91ff..157965184 100644 --- a/scripts/mk_win_dist_cmake.py +++ b/scripts/mk_win_dist_cmake.py @@ -375,7 +375,7 @@ def cp_into_bin(arch): os.path.join(bin_dir, "libz3.lib")) shutil.rmtree(lib_dir) if JAVA_ENABLED: - java_dir = get_java_dist_path(arch) + java_dir = os.path.join(bin_dir, "java") for file in os.listdir(java_dir): src_path = os.path.join(java_dir, file) dst_path = os.path.join(bin_dir, file)