diff options
| -rw-r--r-- | build2/depdb.hxx | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/build2/depdb.hxx b/build2/depdb.hxx index f93f16c..ce7dd39 100644 --- a/build2/depdb.hxx +++ b/build2/depdb.hxx @@ -116,6 +116,12 @@ namespace build2 // Perform target/database modification times sanity check. // + // Note that it would also be good to compare the target timestamp against + // the newest prerequisite. However, obtaining this information would cost + // extra (see execute_prerequisites()). So maybe later, if we get a case + // where this is a problem (in a sense, the database is a buffer between + // prerequisites and the target). + // void check_mtime (const path_type& target, timestamp end = timestamp_unknown); |