[no subject]

[Ludovic Courtès]

branch: master
commit f08cd30afb77731350bae84c6ccdf62f0285077f
Author: Ludovic Courtès <ludo@gnu.org>
AuthorDate: Thu Sep 28 14:39:59 2023 +0200

    remote-worker: Using ‘ceiling-quotient’ for build parallelism.
    
    * src/cuirass/scripts/remote-worker.scm (worker-management-thunk): Use
    ‘ceiling-quotient’ instead of ‘quotient’.
---
 src/cuirass/scripts/remote-worker.scm | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/cuirass/scripts/remote-worker.scm 
b/src/cuirass/scripts/remote-worker.scm
index 7b9bd8a..b1a3bea 100644
--- a/src/cuirass/scripts/remote-worker.scm
+++ b/src/cuirass/scripts/remote-worker.scm
@@ -407,7 +407,8 @@ SYSTEMS."
     (let loop ()
       (match (get-message channel)
         (`(start-workers ,count ,server ,local-address)
-         (let ((parallelism (max (quotient (current-processor-count) count)
+         (let ((parallelism (max (ceiling-quotient (current-processor-count)
+                                                   count)
                                  1)))
            (log-info
             "starting ~a workers (parallelism: ~a cores) for server at ~a"