diff options
Diffstat (limited to 'build2/operation')
-rw-r--r-- | build2/operation | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/build2/operation b/build2/operation index 700ee7e..544a9f9 100644 --- a/build2/operation +++ b/build2/operation @@ -185,6 +185,7 @@ namespace build2 // const string name_do; // E.g., [to] 'configure'. const string name_doing; // E.g., [while] 'configuring'. + const string name_did; // E.g., 'configured'. const string name_done; // E.g., 'is configured'. // If operation_pre() is not NULL, then it may translate default_id @@ -269,10 +270,16 @@ namespace build2 // const string name_do; // E.g., [to] 'update'. const string name_doing; // E.g., [while] 'updating'. + const string name_did; // E.g., [not] 'updated'. const string name_done; // E.g., 'is up to date'. const execution_mode mode; + // This is the operation's concurrency multiplier. 0 means run serially, + // 1 means run at hardware concurrency (unless overridden by the user). + // + const size_t concurrency; + // If the returned operation_id's are not 0, then they are injected // as pre/post operations for this operation. Can be NULL if unused. // The returned operation_id shall not be default_id. |