K 10
svn:author
V 6
marcel
K 8
svn:date
V 27
2003-08-23T08:31:32.000000Z
K 7
svn:log
V 218
On ia64 time_t is 64 bit. Explicitly cast tv_sec to long and change
the corresponding format specifier to %ld in a call to printf() in
function softclock(). The printf() is conditional upon DIAGNOSTIC.

Found by: LINT

END