| 345 | arguments.push_back(request.program.value().c_str()); |
| 346 | if (request.args.has_value()) { |
| 347 | foreach (auto arg, request.args.value()) { |
| 348 | arguments.push_back(arg.c_str()); |
| 349 | } |
| 350 | // --args : add arguments for gdb. except : rr, runcoredump |
| 351 | if (request.name.value() != "rr" && arguments.size() >= 2 && !(arguments.size() == 2 && arguments.last().endsWith(".core"))) |
| 352 | arguments.insert(0, "--args"); |