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/libstore/store-api.hh | |
parent | d140c75530d385431850bed2f2c250f889c43c2f (diff) |
build-remote: Don't use a SSH master
This is unnecessary because we make only one connection.
Diffstat (limited to 'src/libstore/store-api.hh')
-rw-r--r-- | src/libstore/store-api.hh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/libstore/store-api.hh b/src/libstore/store-api.hh index c344b9d66ed3..481d0b799068 100644 --- a/src/libstore/store-api.hh +++ b/src/libstore/store-api.hh @@ -642,6 +642,8 @@ void removeTempRoots(); set to true *unless* you're going to collect garbage. */ ref<Store> openStore(const std::string & uri = getEnv("NIX_REMOTE")); +ref<Store> openStore(const std::string & uri, const Store::Params & params); + void copyPaths(ref<Store> from, ref<Store> to, const Paths & storePaths, bool substitute = false); |