From f74d8460f6ef24f6e2a37bd74cec0e8609038a9e Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 2 Mar 2025 19:23:19 -0800
Subject: [PATCH] use single thread for win-dist

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/mk_win_dist.py | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/scripts/mk_win_dist.py b/scripts/mk_win_dist.py
index b6a859e76..d6e4eb4ab 100644
--- a/scripts/mk_win_dist.py
+++ b/scripts/mk_win_dist.py
@@ -33,7 +33,7 @@ GIT_HASH=False
 PYTHON_ENABLED=True
 X86ONLY=False
 X64ONLY=False
-MAKEJOBS=getenv("MAKEJOBS", "24")
+MAKEJOBS=getenv("MAKEJOBS", "1")
 
 def set_verbose(flag):
     global VERBOSE
@@ -132,7 +132,10 @@ def check_build_dir(path):
 # Create a build directory using mk_make.py
 def mk_build_dir(path, x64):
     if not check_build_dir(path) or FORCE_MK:
-        parallel = '--parallel=' + MAKEJOBS
+        if MAKEJOBS != "1":
+            parallel = '--parallel=' + MAKEJOBS
+        else:
+            parallel = ""
         opts = ["python", os.path.join('scripts', 'mk_make.py'), parallel, "-b", path]
         if DOTNET_CORE_ENABLED:
             opts.append('--dotnet')