Add --[no-]mtime-check options to control this behavior at runtime

By default the checks are enabled only for the staged toolchain.

1 files changed, 12 insertions, 0 deletions

diff --git a/build2/b-options.ixx b/build2/b-options.ixx
index 2b6e8b0..b05ed66 100644
--- a/build2/b-options.ixx
+++ b/build2/b-options.ixx
@@ -346,6 +346,18 @@ namespace build2
   }
 
   inline const bool& options::
+  mtime_check () const
+  {
+    return this->mtime_check_;
+  }
+
+  inline const bool& options::
+  no_mtime_check () const
+  {
+    return this->no_mtime_check_;
+  }
+
+  inline const bool& options::
   structured_result () const
   {
     return this->structured_result_;