aboutsummaryrefslogtreecommitdiff
path: root/build2/scope
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2017-01-19 16:50:40 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2017-01-19 16:50:40 +0200
commit5164c843513212ab1ac1f721c4de04b6a865eb0c (patch)
tree1c6b2f440bd6dcd41fed60e76095bae2bf4e9e54 /build2/scope
parent5607313a91e5ca0113b1f8b9acfd02c1fb105346 (diff)
Get rid of extension_pool
Diffstat (limited to 'build2/scope')
-rw-r--r--build2/scope2
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