diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2014-03-08 12:15:38 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2014-03-08 12:16:06 +0100 |
| commit | d652b851373c1bb97da2e446b0d5aa5d0b1ad46d (patch) | |
| tree | 42e39dcf5e8ff67213ba8ed22b31e9711e81fbb0 /gnu/packages | |
| parent | 4bf1eb4f88f2d2b0596fe8a4b98490fc277f323b (diff) | |
| download | guix-d652b851373c1bb97da2e446b0d5aa5d0b1ad46d.tar guix-d652b851373c1bb97da2e446b0d5aa5d0b1ad46d.tar.gz | |
offload: Make 'parallel-builds' a hard limit.
* guix/scripts/offload.scm (machine-choice-lock-file,
machine-slot-file, acquire-build-slot, release-build-slot): New
procedures.
(choose-build-machine): Operate with (machine-choice-lock-file)
taken. Acquire a build slot for each of MACHINES. Release those not
used.
Diffstat (limited to 'gnu/packages')
0 files changed, 0 insertions, 0 deletions