diff options
author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2024-03-15 17:53:55 +0100 |
---|---|---|
committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2024-03-19 10:31:33 +0100 |
commit | f3039bc31d32b27ba92fdc534c191acf889db302 (patch) | |
tree | 828d7c0cbf2b9b24e488dada2da8ae65d9e6e7f5 /src/buildtool/main/build_utils.cpp | |
parent | de99281c278153290f89c23b20f8afb2b57d97ee (diff) | |
download | justbuild-f3039bc31d32b27ba92fdc534c191acf889db302.tar.gz |
serve target: Differentiate between fatal and non-fatal orchestrated builds
...by increasing granularity in client-side reporting. This allows
to correctly continue with builds of local targets if the serve
endpoint does not have the requested target, as well as improve
the reporting for users on failure.
Diffstat (limited to 'src/buildtool/main/build_utils.cpp')
0 files changed, 0 insertions, 0 deletions