summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorGui Chen <gui.chen@intel.com>2012-07-10 18:44:55 +0800
committerGui Chen <gui.chen@intel.com>2012-07-10 18:44:55 +0800
commita210561adb92062390635ae9e518d5eeac37c478 (patch)
treeed042d7f342be8816fb74141ad1c3f485f446fd1 /tools
parent7e3624fb222b9d8b90ce5f4cb926de03c379c27c (diff)
downloadmic-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-xtools/mic4
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/mic b/tools/mic
index 4070357..8c87a05 100755
--- a/tools/mic
+++ b/tools/mic
@@ -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())