Merge pull request #2394 from stan-dev/windows_jumbo

Decrease jumbo size for windows
stan-dev · Feb 26, 2021 · 1bbf76c · 1bbf76c
2 parents 421085c + 437350f
commit 1bbf76c
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