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.cxx | |
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.cxx')
-rw-r--r-- | build2/b.cxx | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/build2/b.cxx b/build2/b.cxx index 74dc7a2..bb7ec41 100644 --- a/build2/b.cxx +++ b/build2/b.cxx @@ -327,7 +327,10 @@ main (int argc, char* argv[]) // Validate options. // if (ops.progress () && ops.no_progress ()) - fail << "inconsistent progress display options"; + fail << "both --progress and --no-progress specified"; + + if (ops.mtime_check () && ops.no_mtime_check ()) + fail << "both --mtime-check and --no-mtime-check specified"; // Global initializations. // |