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



git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@216916 138bc75d-0d04-0410-961f-82ee72b054a4