Desired Action |
On page 2341 line 74538 section 1.4 Utility Description Defaults, add to the end of EXIT STATUS:Default Behavior: When the description of exit status 0 is ``Successful completion'', it means that exit status 0 shall indicate that all of the actions the utility is required to perform were completed successfully.
On page 2870 line 94579 section jobs, after:When jobs reports the termination status of a job, the shell shall remove its process ID from the list of those ``known in the current shell execution environment''; see [xref to 2.9.3.1]. add:If a write error occurs when jobs writes to standard output, some process IDs might have been removed from the list but not successfully reported.
On page 2872 line 94663 section jobs, change:0 Successful completion to:0 The output specified in STDOUT was successfully written to standard output.
On page 2873 line 94704 section jobs, add to RATIONALE:If jobs uses buffered writes to standard output, a write error could be detected when attempting to flush a buffer containing multiple reports of terminated jobs, resulting in some unreported jobs having their process IDs removed from the list of those known in the current shell execution environment (because they were removed when the report was added to the buffer).
On page 2982 line 99046 section make (EXIT STATUS with -q), change:0 Successful completion
1 The target was not up-to-date. to:0 All specified targets were already up-to-date.
1 One or more targets were not up-to-date.
On page 2983 line 99050 section make (EXIT STATUS without -q), change:0 Successful completion
>0 An error occurred. to:0 All specified targets were already up-to-date, or all commands executed to bring targets up-to-date either exited with status 0 or had a non-zero exit status that was specified (via the -i option, the special target .IGNORE, or a '-' command prefix) to be ignored.
>0 An error occurred, or at least one command executed to bring a target up-to-date exited with a non-zero exit status that was not specified to be ignored.
|