diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2014-03-19 23:12:06 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2014-03-19 23:12:06 +0100 |
| commit | d81195bffd22206201cdbcd0e0d4e9ab30dbff80 (patch) | |
| tree | 238e53a2ce3c6b3760eedcb5c9dc296b6052b383 /gnu | |
| parent | 19ee8c7dc5b601783b7cdfcd61a8147bc374c727 (diff) | |
| download | patches-d81195bffd22206201cdbcd0e0d4e9ab30dbff80.tar patches-d81195bffd22206201cdbcd0e0d4e9ab30dbff80.tar.gz | |
offload: Send build logs to file descriptor 4.
* guix/scripts/offload.scm (with-error-to-port): New macro.
(remote-pipe): Add #:error-port parameter. Use 'with-error-to-port'
around 'open-pipe*' call.
(build-log-port): New procedure.
(offload): Change #:log-port to default to (build-log-port). Call
'remote-pipe' with #:error-port LOG-PORT.
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions