diff options
Diffstat (limited to 'buildstream/_frontend/widget.py')
| -rw-r--r-- | buildstream/_frontend/widget.py | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/buildstream/_frontend/widget.py b/buildstream/_frontend/widget.py index 9ddae83f8..8b55b39ee 100644 --- a/buildstream/_frontend/widget.py +++ b/buildstream/_frontend/widget.py @@ -456,6 +456,15 @@ class LogLine(Widget): text += self.format_values(values) text += '\n' + # Project Options + if len(project._options.variables) > 0: + text += self.content_profile.fmt("Project Options\n", bold=True) + values = OrderedDict() + for key in sorted(project._options.variables): + values[key] = project._options.variables[key] + text += self.format_values(values) + text += '\n' + # Plugins text += self.format_plugins(pipeline.element_factory.loaded_dependencies, pipeline.source_factory.loaded_dependencies) |