From 5164c843513212ab1ac1f721c4de04b6a865eb0c Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Thu, 19 Jan 2017 16:50:40 +0200 Subject: Get rid of extension_pool --- build2/target-type | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'build2/target-type') 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); + optional (*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. -- cgit v1.1