Make time format in 'started' line same as 'compiled'.
authorSteve Reinhardt <stever@gmail.com>
Mon, 4 Aug 2008 05:46:46 +0000 (01:46 -0400)
committerSteve Reinhardt <stever@gmail.com>
Mon, 4 Aug 2008 05:46:46 +0000 (01:46 -0400)
commit3448a122085797a902e776f47bfe69a078bfca5e
tree822389d0bb764c46173794d48afb8b3d6f419cad
parent58c63ea8b1f56dd0c33ef3d36f5c6a58ce3f28fe
Make time format in 'started' line same as 'compiled'.
Also make -B output consistent with normal header, and
only include actual build options.
src/python/m5/main.py