From a1d5c79a5014d3cc2c5d2a50cc526638f4abcd65 Mon Sep 17 00:00:00 2001 From: Karen Arutyunov Date: Thu, 13 Apr 2023 19:48:10 +0300 Subject: Document interrupt build result status --- doc/manual.cli | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'doc') 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. -- cgit v1.1