Make time format in 'started' line same as 'compiled'.

Also make -B output consistent with normal header, and
only include actual build options.

diff --git a/src/python/m5/main.py b/src/python/m5/main.py
index c9b1940dc3a8d451e1539bcb1fd5572e45474562..1e217715c9fb25b909e81d986ea7fd83c2bf1d01 100644 (file)
--- a/src/python/m5/main.py
+++ b/src/python/m5/main.py
@@ -180,8 +180,8 @@ def main():
         print 'Build information:'
         print
         print 'compiled %s' % internal.core.cvar.compileDate;
-        print 'started %s' % datetime.datetime.now().ctime()
-        print 'executing on %s' % socket.gethostname()
+        print "revision %s" % internal.core.cvar.hgRev
+        print "commit date %s" % internal.core.cvar.hgDate
         print 'build options:'
         keys = defines.m5_build_env.keys()
         keys.sort()
@@ -263,12 +263,12 @@ def main():
         print brief_copyright
         print
         print "M5 compiled %s" % internal.core.cvar.compileDate;
-        print "M5 started %s" % datetime.datetime.now().ctime()
-        print "M5 executing on %s" % socket.gethostname()
-
         print "M5 revision %s" % internal.core.cvar.hgRev
         print "M5 commit date %s" % internal.core.cvar.hgDate
 
+        print "M5 started %s" % datetime.datetime.now().strftime("%b %e %Y %X")
+        print "M5 executing on %s" % socket.gethostname()
+
         print "command line:",
         for argv in sys.argv:
             print argv,