diff options
Diffstat (limited to 'rtemstoolkit/log.py')
-rwxr-xr-x | rtemstoolkit/log.py | 14 |
1 files changed, 14 insertions, 0 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 |