decrease jumbo size for windows

stan-dev · Feb 26, 2021 · 437350f · 437350f
1 parent a23e949
commit 437350f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/runTests.py b/runTests.py
@@ -139,7 +139,7 @@ def isWin():
 
 
 batchSize = 20 if isWin() else 200
-
+jumboSize = 5 if isWin() else 15
 
 def mungeName(name):
     """Set up the makefile target name"""
@@ -188,7 +188,7 @@ def generateJumboTests(paths):
             stopErr("The --jumbo flag is only allowed with top level folders.", 10)
     for jf in jumbo_files_to_create:
         tests_in_subfolder = sorted([x for x in os.listdir(jf) if x.endswith(testsfx)])
-        chunked_tests = divide_chunks(tests_in_subfolder, 15)
+        chunked_tests = divide_chunks(tests_in_subfolder, jumboSize)
         i = 0
         for tests in chunked_tests:
             i = i + 1