diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-11-22 16:51:45 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-11-23 15:42:00 +0100 |
| commit | 694e638e7811f363ee1438066f4beddea17981e6 (patch) | |
| tree | 81ac5bf2b6bfc43ffac5eb12d2cb26c6fd0840d0 | |
| parent | 60e1c1099fc3d73ed7d3235e71aae5d00ab7d773 (diff) | |
| download | guix-694e638e7811f363ee1438066f4beddea17981e6.tar.gz | |
status: Display 'build-remote' events.
* guix/status.scm (print-build-event): Add clause for 'build-remote'.
| -rw-r--r-- | guix/status.scm | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/guix/status.scm b/guix/status.scm index ffa9d9e93c..2ceb56788a 100644 --- a/guix/status.scm +++ b/guix/status.scm @@ -393,6 +393,9 @@ addition to build events." expected hash: ~a actual hash: ~a~%")) expected actual)) + (('build-remote drv host _ ...) + (format port (info (G_ "offloading build of ~a to '~a'")) drv host) + (newline port)) (('build-log pid line) (if (multiplexed-output-supported?) (if (not pid) |