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/config.hxx.in | |
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/config.hxx.in')
-rw-r--r-- | build2/config.hxx.in | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/build2/config.hxx.in b/build2/config.hxx.in index af42fcd..e84fd6a 100644 --- a/build2/config.hxx.in +++ b/build2/config.hxx.in @@ -21,6 +21,15 @@ // #define BUILD2_STAGE true +// Modification time sanity checks are by default only enabled for the staged +// version but this can be overridden at runtime with --[no-]mtime-check. +// +#if BUILD2_STAGE +# define BUILD2_MTIME_CHECK true +#else +# define BUILD2_MTIME_CHECK false +#endif + #ifdef BUILD2_BOOTSTRAP #else #endif |