8 * util_print_time -- massage a long which represents a time interval in
9 * milliseconds, into a string suitable for output
11 * Hack for IBM/PC -- avoids using floating point
15 util_print_time(unsigned long t
)
19 (void) sprintf(s
, "%lu.%02lu sec", t
/1000, (t
%1000)/10);