TIMES(1)                        User Commands                       TIMES(1)
NAME
       times - shell built-in function to report time usages of the current
       shell
SYNOPSIS
   sh       times   ksh       timesDESCRIPTION
   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 variable assignment.  This means that
                  tilde substitution is performed after the 
= sign and word
                  splitting and file name generation are not performed.
SEE ALSO
       ksh(1), 
sh(1), 
time(1), 
attributes(7)                               April 15, 1994                       TIMES(1)