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-options.hxx | |
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-options.hxx')
-rw-r--r-- | build2/b-options.hxx | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/build2/b-options.hxx b/build2/b-options.hxx index 0aad125..94a87ab 100644 --- a/build2/b-options.hxx +++ b/build2/b-options.hxx @@ -473,6 +473,12 @@ namespace build2 serial_stop () const; const bool& + mtime_check () const; + + const bool& + no_mtime_check () const; + + const bool& structured_result () const; const bool& @@ -558,6 +564,8 @@ namespace build2 size_t max_stack_; bool max_stack_specified_; bool serial_stop_; + bool mtime_check_; + bool no_mtime_check_; bool structured_result_; bool match_only_; bool no_column_; |