diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2017-03-03 19:23:20 +0100 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2017-03-03 19:23:20 +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 c344b9d66..481d0b799 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); |