diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2017-03-03T18·23+0100 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2017-03-03T18·23+0100 |
commit | d3eb1cf3bbf57a33ac2e71a19a150c077011ecd9 (patch) | |
tree | 82cc4504c8de781beaa7ebbb23081152692b54d8 /src/build-remote/build-remote.cc | |
parent | d140c75530d385431850bed2f2c250f889c43c2f (diff) |
build-remote: Don't use a SSH master
This is unnecessary because we make only one connection.
Diffstat (limited to 'src/build-remote/build-remote.cc')
-rw-r--r-- | src/build-remote/build-remote.cc | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/build-remote/build-remote.cc b/src/build-remote/build-remote.cc index fd710c2b6b71..3908dfac487d 100644 --- a/src/build-remote/build-remote.cc +++ b/src/build-remote/build-remote.cc @@ -233,7 +233,9 @@ int main (int argc, char * * argv) lock = -1; try { - sshStore = openStore("ssh://" + bestMachine->hostName + "?ssh-key=" + bestMachine->sshKey); + sshStore = openStore("ssh://" + bestMachine->hostName, + { {"ssh-key", bestMachine->sshKey }, + {"max-connections", "1" } }); hostName = bestMachine->hostName; } catch (std::exception & e) { printError("unable to open SSH connection to ‘%s’: %s; trying other available machines...", |