Reinstate timestamping, sort-of, having trashed VG_(ctime) as part of
the glibc-removal process. Timestamps are now printed in terms of
elapsed wallclock time since startup, shown as days, hours, minutes,
seconds and milliseconds. The arithmetic is done with 32-bit unsigned
ints, so people doing Valgrind runs that last longer than 49.71 days
are going to see some funny results :-)
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@5042 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/coregrind/pub_core_libcprint.h b/coregrind/pub_core_libcprint.h
index 15f99f8..64c0180 100644
--- a/coregrind/pub_core_libcprint.h
+++ b/coregrind/pub_core_libcprint.h
@@ -42,9 +42,11 @@
descriptor or a socket descriptor. */
extern Bool VG_(logging_to_socket);
-/* Get a human-readable representation of the local time into BUF,
- which must be at least 25 characters long. This is unchecked. */
-extern void VG_(ctime) ( /*OUT*/HChar* buf );
+/* Get the elapsed wallclock time since startup into buf, which must
+ 16 chars long. This is unchecked. It also relies on the
+ millisecond timer having been set to zero by an initial read in
+ m_main during startup. */
+void VG_(elapsed_wallclock_time) ( /*OUT*/HChar* buf );
#endif // __PUB_CORE_LIBCPRINT_H