diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2017-01-19 16:50:40 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2017-01-19 16:50:40 +0200 |
commit | 5164c843513212ab1ac1f721c4de04b6a865eb0c (patch) | |
tree | 1c6b2f440bd6dcd41fed60e76095bae2bf4e9e54 /build2/scope | |
parent | 5607313a91e5ca0113b1f8b9acfd02c1fb105346 (diff) |
Get rid of extension_pool
Diffstat (limited to 'build2/scope')
-rw-r--r-- | build2/scope | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build2/scope b/build2/scope index 6b5af22..f22383a 100644 --- a/build2/scope +++ b/build2/scope @@ -218,7 +218,7 @@ namespace build2 // necessarily normalized). Return NULL if not found. // const target_type* - find_target_type (name&, const string*& ext) const; + find_target_type (name&, optional<string>& ext) const; // Dynamically derive a new target type from an existing one. Return the // reference to the target type and an indicator of whether it was |