From 79553261d189b0583f68bbbc48fb9fc81f45128f Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 8 Apr 2022 07:02:32 +0200
Subject: [PATCH] no uname on nt

---
 scripts/mk_util.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/scripts/mk_util.py b/scripts/mk_util.py
index 6575f0dbf..534910a69 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -621,8 +621,9 @@ elif os.name == 'posix':
             LINUX_X64=True
         else:
             LINUX_X64=False
+
             
-if os.uname()[4] == 'arm64':
+if os.name == 'posix' and os.uname()[4] == 'arm64':
     IS_ARCH_ARM64 = True