hydra: Adjust offload setup for childhurds.

This is a followup to 65f217f6bd.

* hydra/machines-for-berlin.scm (template-x86_64): Move ‘childhurd-ip?’
condition to the first clause.
This commit is contained in:
Ludovic Courtès 2023-12-02 17:35:40 +01:00
parent 65f217f6bd
commit d5913d4ecf
No known key found for this signature in database
GPG Key ID: 090B11993D9AEBB5
1 changed files with 10 additions and 10 deletions

View File

@ -133,11 +133,17 @@
(define template-x86_64
(match-lambda
;; Prefer building on the new nodes.
((name key 128)
((ip key 128)
(build-machine
(name name)
(name ip)
(user "hydra")
(systems '("x86_64-linux" "i686-linux"))
(systems
;; Some of these machines run a childhurd, which they offload to (we
;; effectively have two-level offloading, then).
(append (if (childhurd-ip? ip)
'("i586-gnu")
'())
'("x86_64-linux" "i686-linux")))
(host-key key)
(compression "no")
(speed 3) ;don't increase it too much
@ -157,13 +163,7 @@
(build-machine
(name ip)
(user "hydra")
(systems
;; Some of these machines run a childhurd, which they offload to (we
;; effectively have two-level offloading, then).
(append (if (childhurd-ip? ip)
'("i586-gnu")
'())
'("x86_64-linux" "i686-linux")))
(systems '("x86_64-linux" "i686-linux"))
(host-key key)
(compression "no")
(speed 2)