diff options
Diffstat (limited to 'build2/file')
| -rw-r--r-- | build2/file | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/build2/file b/build2/file index 4f8c8db..b198557 100644 --- a/build2/file +++ b/build2/file @@ -93,6 +93,16 @@ namespace build2 bool bootstrap_src (scope& root); + // Return true if this scope has already been bootstrapped, that is, the + // following calls have already been made: + // + // bootstrap_out() + // setup_root() + // bootstrap_src() + // + bool + bootstrapped (scope& root); + // Create and bootstrap outer root scopes, if any. Loading is // done by load_root_pre() below. // |