From bd082ab65389808a336094514722f67d6a3ccdfb Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 2 Feb 2024 16:33:27 -0800 Subject: [PATCH] update mk-win-dist-cmake 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 1e505f412e3..adfb2e4dd06 100644 --- a/scripts/mk_win_dist_cmake.py +++ b/scripts/mk_win_dist_cmake.py @@ -196,7 +196,7 @@ def mk_build_dir(arch): if not check_build_dir(build_path) or FORCE_MK: mk_dir(build_path) if arch == "arm64": - arch = "amd64_arm64" + arch = "x64_arm64" cmds = [] cmds.append(f"cd {build_path}")