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/utility | |
parent | 5607313a91e5ca0113b1f8b9acfd02c1fb105346 (diff) |
Get rid of extension_pool
Diffstat (limited to 'build2/utility')
-rw-r--r-- | build2/utility | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/build2/utility b/build2/utility index 464c1fe..b162a9d 100644 --- a/build2/utility +++ b/build2/utility @@ -437,17 +437,6 @@ namespace build2 unsigned int to_version (const string&); - // Pools (@@ perhaps move into a separate header). - // - struct string_pool: std::unordered_set<std::string> - { - const std::string& - find (const char* s) {return *emplace (s).first;} - - const std::string& - find (const std::string& s) {return *emplace (s).first;} - }; - // Initialize build2 global state (verbosity, home/work directories, etc). // Should be called early in main() once. // |