diff options
author | Ludovic Courtès <ludo@gnu.org> | 2022-12-10 14:33:51 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2022-12-10 14:34:35 +0100 |
commit | 61b7e9687757aff013b99e4ab15669a950c8b222 (patch) | |
tree | f6cfc5888bd57f53bb206ff3b13efe3a7e84b36f /gnu/local.mk | |
parent | 1ab48edb1674e0454d4368fdbed16cbbdfd9bf06 (diff) |
install: 'umount-cow-store' retries upon EBUSY.
Possibly fixes <https://issues.guix.gnu.org/59884>.
* gnu/build/install.scm (umount*): New procedure.
(unmount-cow-store): Use it instead of 'umount'.
Diffstat (limited to 'gnu/local.mk')
0 files changed, 0 insertions, 0 deletions