distr/util/prtime.c

   1 /* LINTLIBRARY */
   2
   3 #include <stdio.h>
   4 #include "util.h"
   5
   6
   7 /*
   8  *  util_print_time -- massage a long which represents a time interval in
   9  *  milliseconds, into a string suitable for output
  10  *
  11  *  Hack for IBM/PC -- avoids using floating point
  12  */
  13
  14 char *
  15 util_print_time(unsigned long t)
  16 {
  17     static char s[40];
  18
  19     (void) sprintf(s, "%lu.%02lu sec", t/1000, (t%1000)/10);
  20     return s;
  21 }