diff options
| author | Jürg Billeter <j@bitron.ch> | 2020-01-13 11:23:12 +0100 |
|---|---|---|
| committer | Jürg Billeter <j@bitron.ch> | 2020-01-13 11:31:14 +0100 |
| commit | 730302e250d8ebdd143c9188d353ea24669306ae (patch) | |
| tree | c2fd0e16ca40f73128fc8f175abee491f2fd472e | |
| parent | 35bc43cda83b9c5638b361244575f6069ad2b544 (diff) | |
| download | buildstream-730302e250d8ebdd143c9188d353ea24669306ae.tar.gz | |
sandbox.py: Add combined_label() method to batch items
This will be used to improve batch command logging with REAPI.
| -rw-r--r-- | src/buildstream/sandbox/sandbox.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/buildstream/sandbox/sandbox.py b/src/buildstream/sandbox/sandbox.py index f09aa03a0..e91e890bb 100644 --- a/src/buildstream/sandbox/sandbox.py +++ b/src/buildstream/sandbox/sandbox.py @@ -667,6 +667,9 @@ class _SandboxBatchItem: def __init__(self, *, label=None): self.label = label + def combined_label(self): + return self.label + # _SandboxBatchCommand() # @@ -704,6 +707,9 @@ class _SandboxBatchGroup(_SandboxBatchItem): for item in self.children: item.execute(batch) + def combined_label(self): + return "\n".join(item.combined_label() for item in self.children) + # _SandboxBatchCall() # |