update mk-win-dist-cmake

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Feb 3, 2024 · bd082ab · bd082ab
1 parent 14fb235
commit bd082ab
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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}")