diff options
Diffstat (limited to 'common/command.cc')
-rw-r--r-- | common/command.cc | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/common/command.cc b/common/command.cc index 96008d2b..46d6d014 100644 --- a/common/command.cc +++ b/common/command.cc @@ -233,22 +233,6 @@ void CommandHandler::setupContext(Context *ctx) ctx->timing_driven = false; } -std::vector<std::string> split(const std::string& str, const std::string& delim) -{ - std::vector<std::string> tokens; - size_t prev = 0, pos = 0; - do - { - pos = str.find(delim, prev); - if (pos == std::string::npos) pos = str.length(); - std::string token = str.substr(prev, pos-prev); - if (!token.empty()) tokens.push_back(token); - prev = pos + delim.length(); - } - while (pos < str.length() && prev < str.length()); - return tokens; -} - int CommandHandler::executeMain(std::unique_ptr<Context> ctx) { if (vm.count("test")) { |