diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2015-07-09 10:06:19 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2015-07-09 11:59:26 +0200 |
| commit | b19649a132e83d0b8a29a685e9b8c1b061ef0dfa (patch) | |
| tree | 46962a6b011aa01d3bf5126c2ebfcc8030ebc9d5 /etc | |
| parent | 92f1b4a54c58d57bcc8d52e6970785c2b895c6b9 (diff) | |
| download | guix-b19649a132e83d0b8a29a685e9b8c1b061ef0dfa.tar guix-b19649a132e83d0b8a29a685e9b8c1b061ef0dfa.tar.gz | |
offload: Add 'ssh-options' field to <build-machine>.
* guix/scripts/offload.scm (<build-machine>)[ssh-options]: New field.
(remote-pipe): Use it.
(send-files): Likewise.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions