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
time.c