concise output of distro information printing

1 files changed, 1 insertions, 4 deletions

diff --git a/tools/mic b/tools/mic
index 8c87a05..f55b061 100755
--- a/tools/mic
+++ b/tools/mic
@@ -204,10 +204,7 @@ 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))
-
+        msger.raw("mic %s (%s)" % (VERSION, misc.get_distro()))
         mic = MicCmd()
         sys.exit(mic.main())