diff options
Diffstat (limited to 'src/other_tools/just_mr/launch.hpp')
| -rw-r--r-- | src/other_tools/just_mr/launch.hpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/other_tools/just_mr/launch.hpp b/src/other_tools/just_mr/launch.hpp index cea43534..69c1603a 100644 --- a/src/other_tools/just_mr/launch.hpp +++ b/src/other_tools/just_mr/launch.hpp @@ -36,6 +36,6 @@ StorageConfig const& storage_config, Storage const& storage, bool forward_build_root, - std::string multi_repo_tool_name) -> int; + std::string const& multi_repo_tool_name) -> int; #endif // INCLUDED_SRC_OTHER_TOOLS_JUST_MR_LAUNCH_HPP |