diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-11-18 22:22:59 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-11-19 10:51:52 +0100 |
| commit | 6fbd8fde2fad113dbfc90c8b1b55f7ead919a90a (patch) | |
| tree | 7a4bb0832f83e48e16cfecace0d1cfeb92f975ca /.dir-locals.el | |
| parent | 10e73bbc5e2a3f62dc07c5c94309c5105c435dc6 (diff) | |
pull: Acquire a lock for the target profile.
This is a followup to b1fb663404894268b5ee92c040f12c52c0bee425.
* guix/scripts/pull.scm (guix-pull): Wrap 'run-with-store' call in
'with-file-lock/no-wait'.
Diffstat (limited to '.dir-locals.el')
| -rw-r--r-- | .dir-locals.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.dir-locals.el b/.dir-locals.el index 22aac2c402..e4947f5f10 100644 --- a/.dir-locals.el +++ b/.dir-locals.el @@ -35,6 +35,7 @@ (eval . (put 'modify-services 'scheme-indent-function 1)) (eval . (put 'with-directory-excursion 'scheme-indent-function 1)) (eval . (put 'with-file-lock 'scheme-indent-function 1)) + (eval . (put 'with-file-lock/no-wait 'scheme-indent-function 1)) (eval . (put 'package 'scheme-indent-function 0)) (eval . (put 'origin 'scheme-indent-function 0)) |