diff options
author | Gui Chen <gui.chen@intel.com> | 2012-07-10 18:44:55 +0800 |
---|---|---|
committer | Gui Chen <gui.chen@intel.com> | 2012-07-10 18:44:55 +0800 |
commit | a210561adb92062390635ae9e518d5eeac37c478 (patch) | |
tree | ed042d7f342be8816fb74141ad1c3f485f446fd1 /tools | |
parent | 7e3624fb222b9d8b90ce5f4cb926de03c379c27c (diff) | |
download | mic-a210561adb92062390635ae9e518d5eeac37c478.tar.gz mic-a210561adb92062390635ae9e518d5eeac37c478.tar.bz2 mic-a210561adb92062390635ae9e518d5eeac37c478.zip |
put mic version to build log
Signed-off-by: Gui Chen <gui.chen@intel.com>
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/mic | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -204,6 +204,10 @@ class MicCmd(cmdln.Cmdln): if __name__ == "__main__": try: + distro = ' '.join(misc.get_distro()).strip() + machin = misc.get_machine() + msger.raw("mic %s (%s %s)" % (VERSION, distro, machin)) + mic = MicCmd() sys.exit(mic.main()) |