diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2019-09-23 10:44:42 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-09-23 10:44:42 +0200 |
commit | 02b4632e779ca524ffc1ac699e0f3a428aef98d6 (patch) | |
tree | 3072c72e28081b97a80571835a5dcdedbe409940 /src | |
parent | 3a022d45993b6fa8c7bf03517a3a3d1a2ab15f4a (diff) | |
parent | e63c9e73e3e5d1f31fa5065c9ff59f442dd07d0e (diff) |
Merge pull request #3104 from zimbatm/no-show-trace-forwarding
libstore: don't forward --show-trace
Diffstat (limited to 'src')
-rw-r--r-- | src/libstore/remote-store.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/libstore/remote-store.cc b/src/libstore/remote-store.cc index 89b699414..b9e7a80ba 100644 --- a/src/libstore/remote-store.cc +++ b/src/libstore/remote-store.cc @@ -198,6 +198,7 @@ void RemoteStore::setOptions(Connection & conn) overrides.erase(settings.maxSilentTime.name); overrides.erase(settings.buildCores.name); overrides.erase(settings.useSubstitutes.name); + overrides.erase(settings.showTrace.name); conn.to << overrides.size(); for (auto & i : overrides) conn.to << i.first << i.second.value; |