diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2019-04-11 14:44:32 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2019-04-30 16:56:08 +0200 |
commit | a14b9bc18431c6aed8441261d28b6ff20bd25935 (patch) | |
tree | ae1f07caef838b5b03fa3f82a2cfccbb62b24ed3 /build2/depdb.hxx | |
parent | ca0f9c71be279aee845bf5328ac0af8c02c8849e (diff) |
Initial take on header unit and include translation support
Diffstat (limited to 'build2/depdb.hxx')
-rw-r--r-- | build2/depdb.hxx | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/build2/depdb.hxx b/build2/depdb.hxx index ceb58ac..af9b9e3 100644 --- a/build2/depdb.hxx +++ b/build2/depdb.hxx @@ -114,6 +114,13 @@ namespace build2 void close (); + // Flush any unwritten data to disk. This is primarily useful when reusing + // a (partially written) database as an input to external programs (e.g., + // as a module map). + // + void + flush (); + // Perform target/database modification times sanity check. // // Note that it would also be good to compare the target timestamp against |