diff options
Diffstat (limited to 'build/parser')
| -rw-r--r-- | build/parser | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/build/parser b/build/parser index 3374ac0..c5c33a1 100644 --- a/build/parser +++ b/build/parser @@ -100,6 +100,15 @@ namespace build // Utilities. // private: + + // Switch to a new current scope. Note that this function might + // also have to switch to a new root scope if the new current + // scope is in another project. So both must be saved and + // restored. + // + void + switch_scope (const dir_path&); + // Switch to new root scope and return the previous one. // scope* |