diff options
author | Chris Johns <chrisj@rtems.org> | 2019-05-30 20:25:36 +1000 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2019-06-11 11:00:30 +1000 |
commit | 5dd75b028aeb8dd80efdb5357fd4e2b4487a1622 (patch) | |
tree | 306d15ca70e35190eb40d7e2f44c133655527b38 /rtemstoolkit | |
parent | 9b153bc20fa5d0df40eee06f0700e20bd4ccec84 (diff) |
rtemstoolkit/log: Add info().
Diffstat (limited to 'rtemstoolkit')
-rwxr-xr-x | rtemstoolkit/log.py | 14 | ||||
-rw-r--r-- | rtemstoolkit/options.py | 3 |
2 files changed, 15 insertions, 2 deletions
diff --git a/rtemstoolkit/log.py b/rtemstoolkit/log.py index a06c8c1..00fdb05 100755 --- a/rtemstoolkit/log.py +++ b/rtemstoolkit/log.py @@ -61,6 +61,20 @@ quiet = False # lock = threading.Lock() +def info(args): + s = [' Command Line: %s' % (' '.join(args))] + if hasattr(os, 'uname'): + s += [' Host: %s' % (' '.join(os.uname()))] + else: + h = ' Host: win32-mingw' + if 'HOSTTYPE' in os.environ: + h += ' ' + os.environ['HOSTTYPE'] + else: + h += ' i686' + s += [h] + s += [' Python: %s' % (sys.version.replace('\n', ''))] + return s + def set_default_once(log): if default is None: default = log diff --git a/rtemstoolkit/options.py b/rtemstoolkit/options.py index dcb8980..32a7016 100644 --- a/rtemstoolkit/options.py +++ b/rtemstoolkit/options.py @@ -508,8 +508,7 @@ class command_line(object): return None def log_info(self): - log.output(' Command Line: %s' % (' '.join(self.argv))) - log.output(' Python: %s' % (sys.version.replace('\n', ''))) + log.output(log.info(self.argv)) def load(opts): """ |