diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2014-03-13 21:58:04 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2014-03-13 21:58:04 +0100 |
| commit | cecd72d55ae974f8ebe900e0088071f843866935 (patch) | |
| tree | 904528c871e2ceb252bb6aa04451ca3b27f6329b /.gitignore | |
| parent | 257b93412ad52dc26b53e0dae71a79b9b51ab33f (diff) | |
| download | guix-cecd72d55ae974f8ebe900e0088071f843866935.tar guix-cecd72d55ae974f8ebe900e0088071f843866935.tar.gz | |
offload: Allow build machines to specify a port number.
* guix/scripts/offload.scm (<build-machine>): Add 'port' field.
(remote-pipe, send-files): Use lsh's '-p' option when invoking it.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions