diff options
author | Vincent Ambo <mail@tazj.in> | 2020-08-21T00·29+0100 |
---|---|---|
committer | tazjin <mail@tazj.in> | 2020-08-21T00·37+0000 |
commit | e08f36c32f4363a0e3fddafb588bc6256d614e81 (patch) | |
tree | fac5f54eb699af151affd0fd52cd18c3a5ef4204 /third_party/gerrit_plugins | |
parent | 8893c30114822148c396eb1f116cd7e1a6f3f095 (diff) |
chore(tvix): Thread std::ostream through builder goals r/1696
This passes an output stream for build logs to almost all relevant functions inside of build.cc by threading it through the `Goal`-abstraction. Store calls that create goals but don't have a sink available use the DiscardLogsSink(). Change-Id: I2c0cb1aec1f9150f33113f4752055cea518ede8b Reviewed-on: https://cl.tvl.fyi/c/depot/+/1824 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
Diffstat (limited to 'third_party/gerrit_plugins')
0 files changed, 0 insertions, 0 deletions