`times' format

[P.Stephenson@xxxxxxxxxxxxx]

This is very minor... `times' unlike `time' doesn't give you two
decimal places.  Since the granularity is 1/60 second, it's barely
warranted, but if ksh does I shouldn't see why we can't.

*** Src/builtin.c.times	Mon Sep 18 16:11:08 1995
--- Src/builtin.c	Mon Sep 18 16:26:27 1995
***************
*** 5171,5177 ****
  }
  
  /* display a time, provided in units of 1/60s, as minutes and seconds */
! #define pttime(X) printf("%ldm%lds",((long) (X))/3600,((long) (X))/60%60)
  
  /* times: display, in a two-line format, the times provided by times(3) */
  
--- 5171,5178 ----
  }
  
  /* display a time, provided in units of 1/60s, as minutes and seconds */
! #define pttime(X) printf("%ldm%ld.%02lds",((long) (X))/3600,\
! 			 ((long) (X))/60%60,((long) (X))*100/60%100)
  
  /* times: display, in a two-line format, the times provided by times(3) */
  

-- 
Peter Stephenson <P.Stephenson@xxxxxxxxxxxxx>  Tel: +44 1792 205678 extn. 4461
WWW:  http://python.swan.ac.uk/~pypeters/      Fax: +44 1792 295324
Department of Physics, University of Wales, Swansea,
Singleton Park, Swansea, SA2 8PP, U.K.