diff options
author | Karen Arutyunov <karen@codesynthesis.com> | 2023-04-13 19:48:10 +0300 |
---|---|---|
committer | Karen Arutyunov <karen@codesynthesis.com> | 2023-04-13 19:48:10 +0300 |
commit | a1d5c79a5014d3cc2c5d2a50cc526638f4abcd65 (patch) | |
tree | 9987701c7e7b902687e6af0b1e90cdd2dc12d4fb | |
parent | 97337019e242c443c043ccb78420ee1c000bbbf4 (diff) |
Document interrupt build result status
-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. |