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/target-type | |
parent | 5607313a91e5ca0113b1f8b9acfd02c1fb105346 (diff) |
Get rid of extension_pool
Diffstat (limited to 'build2/target-type')
-rw-r--r-- | build2/target-type | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/build2/target-type b/build2/target-type index 3bbc73c..cddb9e2 100644 --- a/build2/target-type +++ b/build2/target-type @@ -41,8 +41,8 @@ namespace build2 const char* name; const target_type* base; target* (*factory) ( - const target_type&, dir_path, dir_path, string, const string*); - const string* (*extension) (const target_key&, scope&, bool search); + const target_type&, dir_path, dir_path, string, optional<string>); + optional<string> (*extension) (const target_key&, scope&, bool search); void (*print) (ostream&, const target_key&); target* (*search) (const prerequisite_key&); bool see_through; // A group with the default "see through" semantics. |