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/algorithm | |
parent | 5607313a91e5ca0113b1f8b9acfd02c1fb105346 (diff) |
Get rid of extension_pool
Diffstat (limited to 'build2/algorithm')
-rw-r--r-- | build2/algorithm | 4 |
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 |