diff options
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, |