diff options
| -rw-r--r-- | doc/manual.cli | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/manual.cli b/doc/manual.cli index 2f6d660..533ba0d 100644 --- a/doc/manual.cli +++ b/doc/manual.cli @@ -666,6 +666,7 @@ warning # One or more operations completed with warnings. error # One or more operations completed with errors. abort # One or more operations were aborted. abnormal # One or more operations terminated abnormally. +interrupt # Task execution has been interrupted. \ The \c{abort} status indicates that the operation has been aborted by @@ -678,6 +679,9 @@ include 'log:' with commands that start VM, for completeness?). The \c{abnormal} status indicates that the operation has terminated abnormally, for example, due to the package manager or build system crash. +The \c{interrupt} status indicates that the task execution has been +interrupted, for example, to reassign resources to a higher priority task. + Note that the overall \c{status} value should appear before any per-operation \c{*-status} values. |