diff options
author | Karen Arutyunov <karen@codesynthesis.com> | 2021-09-27 11:09:51 +0300 |
---|---|---|
committer | Karen Arutyunov <karen@codesynthesis.com> | 2021-09-27 11:09:51 +0300 |
commit | 24b32ac4d2f132763523f6e553dbef032434042c (patch) | |
tree | 10f744ffd3e8190f32f0d0a062c3a3c7fbe7e403 | |
parent | 28de3ed8416c20ab54527e5cc8a48c46de3bb9b5 (diff) |
Invent soft and hard rebuildssoft-rebuild
-rw-r--r-- | mod/module.cli | 18 |
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. |