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/options.py | |
parent | 9b153bc20fa5d0df40eee06f0700e20bd4ccec84 (diff) |
rtemstoolkit/log: Add info().
Diffstat (limited to 'rtemstoolkit/options.py')
-rw-r--r-- | rtemstoolkit/options.py | 3 |
1 files changed, 1 insertions, 2 deletions
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): """ |