aboutsummaryrefslogtreecommitdiff
path: root/build2/algorithm
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/algorithm
parent5607313a91e5ca0113b1f8b9acfd02c1fb105346 (diff)
Get rid of extension_pool
Diffstat (limited to 'build2/algorithm')
-rw-r--r--build2/algorithm4
1 files changed, 2 insertions, 2 deletions
diff --git a/build2/algorithm b/build2/algorithm
index 9a91781..ad52fe1 100644
--- a/build2/algorithm
+++ b/build2/algorithm
@@ -44,7 +44,7 @@ namespace build2
const dir_path& dir,
const dir_path& out,
const string& name,
- const string* ext,
+ const optional<string>& ext,
scope*,
const optional<string>& proj = nullopt);
@@ -55,7 +55,7 @@ namespace build2
search (const dir_path& dir,
const dir_path& out,
const string& name,
- const string* ext,
+ const optional<string>& ext,
scope*);
// Search for a target identified by the name. The semantics is "as if" we