diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-12-26 17:42:02 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-12-26 18:40:49 +0100 |
| commit | 0ef595b99689a4d80521abd87fa893695c7f75df (patch) | |
| tree | cbc267a1621b728a7f03e21640cb682331aa923f /build-aux/git-version-gen | |
| parent | 7f4d102c2fff9ff60cd7bc69f5e7eb694274baae (diff) | |
| download | gnu-guix-0ef595b99689a4d80521abd87fa893695c7f75df.tar gnu-guix-0ef595b99689a4d80521abd87fa893695c7f75df.tar.gz | |
offload: Remove unnecessary locking on machine slots.
This extra level of locking turned out to be unnecessary.
* guix/scripts/offload.scm (with-machine-lock): Remove.
(machine-lock-file): Remove.
(acquire-build-slot): Remove surrounding 'with-machine-lock'.
Diffstat (limited to 'build-aux/git-version-gen')
0 files changed, 0 insertions, 0 deletions