diff options
author | Tristan Van Berkom <tristan.vanberkom@codethink.co.uk> | 2017-10-07 20:59:10 +0900 |
---|---|---|
committer | Tristan Van Berkom <tristan.vanberkom@codethink.co.uk> | 2017-10-10 19:29:58 +0900 |
commit | ce5a47973bb639c1f61cd65cce212bb0308f0134 (patch) | |
tree | 3afb64fc6387a0f039cce7277bff5134fd4feced | |
parent | 9dbeffa291f3eb3a951ae785f7b42b211f708470 (diff) | |
download | buildstream-ce5a47973bb639c1f61cd65cce212bb0308f0134.tar.gz |
_frontend/widget.py: Report selected project options, if any.
-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) |