r216916 - in /branches/melt-branch/gcc: ChangeL...

[bstarynk@gcc.gnu.org]

Author: bstarynk
Date: Thu Oct 30 10:35:45 2014
New Revision: 216916

URL: https://gcc.gnu.org/viewcvs?rev=216916&root=gcc&view=rev
Log:

2014-10-30  Basile Starynkevitch  <basile@starynkevitch.net>
	* melt/warmelt-debug.melt (melt_debug_fun): Also show real time
	with cpu time, periodically.


Modified:
    branches/melt-branch/gcc/ChangeLog.MELT
    branches/melt-branch/gcc/melt/warmelt-debug.melt