K 10
svn:author
V 3
phk
K 8
svn:date
V 27
1998-07-24T07:19:29.000000Z
K 7
svn:log
V 422
By default, /usr/bin/time writes its output to stderr.  Two options
have been added to time(1) to write output to an alternative destination.
Option "-f filename" will write to filename, and filename can be - to
write to stdout.  Option "-a filename" will append the output to filename.
Time(1) man page has been updated to reflect the change.

PR:		7368
Submitted by:	Steven G. Kargl <kargl@troutmask.apl.washington.edu>

END