freebsd-skq/usr.bin/time
Poul-Henning Kamp 03a2224899 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>
1998-07-24 07:19:29 +00:00
..
Makefile
time.1 By default, /usr/bin/time writes its output to stderr. Two options 1998-07-24 07:19:29 +00:00
time.c By default, /usr/bin/time writes its output to stderr. Two options 1998-07-24 07:19:29 +00:00