diff options
Diffstat (limited to 'build2/depdb.ixx')
-rw-r--r-- | build2/depdb.ixx | 23 |
1 files changed, 19 insertions, 4 deletions
diff --git a/build2/depdb.ixx b/build2/depdb.ixx index 46fdb28..ecaf102 100644 --- a/build2/depdb.ixx +++ b/build2/depdb.ixx @@ -13,15 +13,30 @@ namespace build2 os_.~ofdstream (); } -#ifndef BUILD2_MTIME_CHECK + inline bool depdb:: + mtime_check () + { + // Note: options were validated in main(). + // + return (ops. mtime_check () ? true : + ops.no_mtime_check () ? false : + BUILD2_MTIME_CHECK); + } + inline void depdb:: - verify (const path_type&, timestamp) + check_mtime (const path_type& t, timestamp e) { + if (state_ == state::write && mtime_check ()) + check_mtime_ (t, e); } inline void depdb:: - verify (timestamp, const path_type&, const path_type&, timestamp) + check_mtime (timestamp s, + const path_type& d, + const path_type& t, + timestamp e) { + if (mtime_check ()) + check_mtime_ (s, d, t, e); } -#endif } |