diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-09-18 21:37:23 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-09-18 23:23:43 +0200 |
| commit | 000bbe02e21353f30c915d5b88f2de316d3634a1 (patch) | |
| tree | 32b08f90b75bad7aea6d56e8d2a327eb63ab1545 | |
| parent | 32b3611375b942051c1e35612f630a4879f1247a (diff) | |
store: Add another missing buffer flush.
This is a followup to 3809824199cdd52446176c9cd4761dd09f732542.
* guix/store.scm (add-file-tree-to-store): Add 'write-buffered-output'
call.
| -rw-r--r-- | guix/store.scm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/guix/store.scm b/guix/store.scm index cc5dcef247..f88cdefe87 100644 --- a/guix/store.scm +++ b/guix/store.scm @@ -1044,6 +1044,7 @@ an arbitrary directory layout in the store without creating a derivation." #:file-port file-port #:symlink-target symlink-target #:directory-entries directory-entries) + (write-buffered-output server) (let loop ((done? (process-stderr server))) (or done? (loop (process-stderr server)))) (let ((result (read-store-path port))) |