diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2018-11-28 11:11:10 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2018-11-28 11:11:10 +0200 |
commit | 8901004f9e783fb3a30e2ddb1e69e8f8a7d085f5 (patch) | |
tree | 11d4b80a099d1dcea5404ec45c52201d9ec23b38 /build2/b.cli | |
parent | 9190569b69e34468841b18b33c98f78e66a3d26e (diff) |
Add --[no-]mtime-check options to control this behavior at runtime
By default the checks are enabled only for the staged toolchain.
Diffstat (limited to 'build2/b.cli')
-rw-r--r-- | build2/b.cli | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/build2/b.cli b/build2/b.cli index 77f50ba..68ef0fe 100644 --- a/build2/b.cli +++ b/build2/b.cli @@ -508,6 +508,19 @@ namespace build2 \c{-j 0} for default concurrency)." } + bool --mtime-check + { + "Perform file modification time sanity checks. These checks can be + helpful in diagnosing spurious rebuilds and are enabled by default + for the staged version of the build system. Use \cb{--no-mtime-check} + to disable." + } + + bool --no-mtime-check + { + "Don't perform file modification time sanity checks." + } + bool --structured-result { "Write the result of execution in a structured form. In this mode, |