aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEelco Dolstra <edolstra@gmail.com>2019-09-23 10:44:42 +0200
committerGitHub <noreply@github.com>2019-09-23 10:44:42 +0200
commit02b4632e779ca524ffc1ac699e0f3a428aef98d6 (patch)
tree3072c72e28081b97a80571835a5dcdedbe409940
parent3a022d45993b6fa8c7bf03517a3a3d1a2ab15f4a (diff)
parente63c9e73e3e5d1f31fa5065c9ff59f442dd07d0e (diff)
Merge pull request #3104 from zimbatm/no-show-trace-forwarding
libstore: don't forward --show-trace
-rw-r--r--src/libstore/remote-store.cc1
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;