From 5164c843513212ab1ac1f721c4de04b6a865eb0c Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Thu, 19 Jan 2017 16:50:40 +0200
Subject: Get rid of extension_pool

---
 build2/b.cxx | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'build2/b.cxx')

diff --git a/build2/b.cxx b/build2/b.cxx
index bd77a02..ca8c15b 100644
--- a/build2/b.cxx
+++ b/build2/b.cxx
@@ -967,7 +967,9 @@ main (int argc, char* argv[])
           //
           scope& bs (scopes.find (ts.out_base));
 
-          const string* e;
+          // Find the target type and extract the extension.
+          //
+          optional<string> e;
           const target_type* ti (bs.find_target_type (tn, e));
 
           if (ti == nullptr)
-- 
cgit v1.1