diff options
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 |