diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-12-26 17:30:56 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-12-26 18:40:49 +0100 |
| commit | 7f4d102c2fff9ff60cd7bc69f5e7eb694274baae (patch) | |
| tree | 9e7ccb75968298125143c8172764607876ada364 /gnu/packages/dejagnu.scm | |
| parent | b12f8720f574c75e8b65b8a076e98caa61830b62 (diff) | |
| download | gnu-guix-7f4d102c2fff9ff60cd7bc69f5e7eb694274baae.tar gnu-guix-7f4d102c2fff9ff60cd7bc69f5e7eb694274baae.tar.gz | |
offload: Remove the "machine choice" lock.
This lock was unnecessary and it led to a contention when many 'guix
offload' processes are polling for available machines.
* guix/scripts/offload.scm (machine-choice-lock-file): Remove.
(choose-build-machine): Remove surrounding 'with-file-lock (machine-lock-file)'.
Diffstat (limited to 'gnu/packages/dejagnu.scm')
0 files changed, 0 insertions, 0 deletions