diff options
author | Chris Johns <chrisj@rtems.org> | 2017-10-31 11:57:21 +1100 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2017-10-31 11:57:21 +1100 |
commit | 4dc9bf3a374b3e97a746fb1b6d080619ff7f5d90 (patch) | |
tree | f8dcbe9f099a60d628ee982ce339140f84a06b65 /source-builder/sb/reports.py | |
parent | sb: Make a to_addr comma list a Python list for sending. (diff) | |
download | rtems-source-builder-4dc9bf3a374b3e97a746fb1b6d080619ff7f5d90.tar.bz2 |
sb: Add platform reporting for better host reviewing in posted email reports.
Diffstat (limited to 'source-builder/sb/reports.py')
-rw-r--r-- | source-builder/sb/reports.py | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/source-builder/sb/reports.py b/source-builder/sb/reports.py index 046045c..9d3a342 100644 --- a/source-builder/sb/reports.py +++ b/source-builder/sb/reports.py @@ -64,6 +64,18 @@ def _make_path(p, *args): p = path.join(p, arg) return os.path.abspath(path.host(p)) +def platform(mode = 'all'): + import platform + if mode == 'system': + return platform.system() + compact = platform.platform(aliased = True) + if mode == 'compact': + return compact + extended = ' '.join(platform.uname()) + if mode == 'extended': + return extended + return '%s (%s)' % (short, extended) + class formatter(object): def __init__(self): self.content = '' |