aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKaren Arutyunov <karen@codesynthesis.com>2021-09-27 11:09:51 +0300
committerKaren Arutyunov <karen@codesynthesis.com>2021-09-27 11:09:51 +0300
commit24b32ac4d2f132763523f6e553dbef032434042c (patch)
tree10f744ffd3e8190f32f0d0a062c3a3c7fbe7e403
parent28de3ed8416c20ab54527e5cc8a48c46de3bb9b5 (diff)
Invent soft and hard rebuildssoft-rebuild
-rw-r--r--mod/module.cli18
1 files changed, 14 insertions, 4 deletions
diff --git a/mod/module.cli b/mod/module.cli
index c95c20c..59f1e4b 100644
--- a/mod/module.cli
+++ b/mod/module.cli
@@ -195,17 +195,27 @@ namespace brep
be specified in seconds. Default is 10 minutes."
}
- size_t build-normal-rebuild-timeout = 86400
+ size_t build-soft-rebuild-timeout = 86400
{
"<seconds>",
- "Time to wait before considering a package for a normal rebuild. Must
- be specified in seconds. Default is 24 hours."
+ "Time to wait before considering a package for a soft rebuild, which
+ should only be performed if the build environment or any of the
+ package dependencies have changed. Must be specified in seconds.
+ Default is 24 hours."
+ }
+
+ size_t build-hard-rebuild-timeout = 604800
+ {
+ "<seconds>",
+ "Time to wait before considering a package for a hard rebuild, which
+ should be performed unconditionally. Must be specified in seconds.
+ Default is 7 days."
}
size_t build-alt-rebuild-timeout
{
"<seconds>",
- "Alternative package rebuild timeout to use instead of the normal
+ "Alternative package rebuild timeout to use instead of the soft
rebuild timeout (see \cb{build-normal-rebuild-timeout} for details)
during the time interval specified with the
\cb{build-alt-rebuild-start} and \cb{build-alt-rebuild-stop} options.