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/b.cxx | |
parent | 5607313a91e5ca0113b1f8b9acfd02c1fb105346 (diff) |
Get rid of extension_pool
Diffstat (limited to 'build2/b.cxx')
-rw-r--r-- | build2/b.cxx | 4 |
1 files changed, 3 insertions, 1 deletions
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) |