std::vector<std::string> prepend_options(
    std::vector<std::string>&& args,
    std::string&& options)

Description

////////////////////////////////////////////////////////////////////////

Declared at: libs/pika/command_line_handling/src/command_line_handling.cpp:808

Parameters

std::vector<std::string>&& args

std::string&& options