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,