time.1: Minor fixes

Reported-by: Andries E. Brouwer <Andries.Brouwer@cwi.nl>
Signed-off-by: Michael Kerrisk <mtk.manpages@gmail.com>
This commit is contained in:
Michael Kerrisk 2015-05-08 11:53:54 +02:00
parent 33ce7fd61b
commit bd28657852
1 changed files with 3 additions and 1 deletions

View File

@ -46,7 +46,8 @@ Note: some shells (e.g.,
.BR bash (1))
have a built-in
.B time
command that provides less functionality than the command described here.
command that provides similar information on the usage of time and
possibly other resources.
To access the real command, you may need to specify its pathname
(something like
.IR /usr/bin/time ).
@ -316,6 +317,7 @@ and C compiler you used.
.\" .IP "Francois Pinard"
.\" Helped with portability
.SH SEE ALSO
.BR bash(1),
.BR tcsh (1),
.BR times (2),
.BR wait3 (2)