diff options
| author | Chris Johns <chrisj@rtems.org> | 2018-10-03 11:38:09 +1000 |
|---|---|---|
| committer | Chris Johns <chrisj@rtems.org> | 2018-10-03 11:38:09 +1000 |
| commit | 3bd8def2106f831d3af4fca61bb00881b3a6e2c0 (patch) | |
| tree | 55cb04be4a8178e24caba2890bcd016acb5c596f /rtemstoolkit/options.py | |
| parent | 5416cfa39dd6b386958571f925b72a15fd63372b (diff) | |
config: Consolidate the version information into a single configuration file
Diffstat (limited to 'rtemstoolkit/options.py')
| -rw-r--r-- | rtemstoolkit/options.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/rtemstoolkit/options.py b/rtemstoolkit/options.py index 98b5854..77d9593 100644 --- a/rtemstoolkit/options.py +++ b/rtemstoolkit/options.py @@ -289,7 +289,7 @@ class command_line(object): def help(self): print('%s: [options] [args]' % (self.command_name)) - print('RTEMS Tools Project (c) 2012-2015 Chris Johns') + print('RTEMS Tools Project, %s' % (version.string())) print('Options and arguments:') opts = list(self.long_opts_help.keys()) if self.optargs: @@ -559,7 +559,7 @@ def run(args): long_opts = long_opts, command_path = '.') load(opts) - log.notice('RTEMS Tools Project - Defaults, v%s' % (version.str())) + log.notice('RTEMS Tools Project - Defaults, v%s' % (version.string())) opts.log_info() log.notice('Options:') log.notice(str(opts)) |