diff options
Diffstat (limited to 'src/other_tools/just_mr/launch.cpp')
| -rw-r--r-- | src/other_tools/just_mr/launch.cpp | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/other_tools/just_mr/launch.cpp b/src/other_tools/just_mr/launch.cpp index cb0f70d2..7d71da9a 100644 --- a/src/other_tools/just_mr/launch.cpp +++ b/src/other_tools/just_mr/launch.cpp @@ -324,6 +324,17 @@ auto CallJust(std::optional<std::filesystem::path> const& config_file, cmd.emplace_back("--dump-plain-graph"); cmd.emplace_back(*log_dir / *invocation_log.graph_file_plain); } + if (invocation_log.dump_artifacts) { + if (not IsValidFileName(*invocation_log.dump_artifacts)) { + Logger::Log( + LogLevel::Error, + "Invalid file name for option --dump-artifacts: {}", + nlohmann::json(*invocation_log.dump_artifacts).dump()); + std::exit(kExitClargsError); + } + cmd.emplace_back("--dump-artifacts"); + cmd.emplace_back(*log_dir / *invocation_log.dump_artifacts); + } if (invocation_log.profile) { if (not IsValidFileName(*invocation_log.profile)) { Logger::Log(LogLevel::Error, |