php man page for times

times(1)                                                           User Commands                                                          times(1)

NAME
       times - shell built-in function to report time usages of the current shell

SYNOPSIS
   sh
       times

   ksh
       times

DESCRIPTION
   sh
       Print the accumulated user and system times for processes run from the shell.

   ksh
       Print the accumulated user and system times for the shell and for processes run from the shell.

       On this man page, ksh(1) commands that are preceded by one or two * (asterisks) are treated specially in the following ways:

       1.  Variable assignment lists preceding the command remain in effect when the command completes.

       2.  I/O redirections are processed after variable assignments.

       3.  Errors cause a script that contains them to abort.

       4.  Words,  following a command preceded by ** that are in the format of a variable assignment, are expanded with the same rules as a vari-
           able assignment. This means that tilde substitution is performed after the = sign and word splitting and file name generation  are  not
           performed.

ATTRIBUTES
       See attributes(5) for descriptions of the following attributes:

       +-----------------------------+-----------------------------+
       |      ATTRIBUTE TYPE         |      ATTRIBUTE VALUE        |
       +-----------------------------+-----------------------------+
       |Availability                 |SUNWcsu                      |
       +-----------------------------+-----------------------------+

SEE ALSO
       ksh(1), sh(1), time(1), attributes(5)

SunOS 5.10                                                          15 Apr 1994                                                           times(1)