From 5fbba3abfa6e725b47a170b0c4f7ce5f8c2671e7 Mon Sep 17 00:00:00 2001 From: Klaus Aehlig Date: Wed, 20 Sep 2023 10:49:03 +0200 Subject: just-mr: add option to override the absent pragma Using absent repositories depends on a just-serve endpoint. As such, it is not a datum of the project, but one of the available infrastructure. As the latter can change independently of the project, it is desriable to have the option to specify those pieces of information in separate files. --- src/other_tools/just_mr/setup_utils.hpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/other_tools/just_mr/setup_utils.hpp') diff --git a/src/other_tools/just_mr/setup_utils.hpp b/src/other_tools/just_mr/setup_utils.hpp index 3294a7e5..9530cc95 100644 --- a/src/other_tools/just_mr/setup_utils.hpp +++ b/src/other_tools/just_mr/setup_utils.hpp @@ -55,7 +55,8 @@ void DefaultReachableRepositories( /// \brief Read in a just-mr configuration file. [[nodiscard]] auto ReadConfiguration( - std::optional const& config_file_opt) noexcept + std::optional const& config_file_opt, + std::optional const& absent_file_opt) noexcept -> std::shared_ptr; /// \brief Setup of a remote API based on just-mr arguments. -- cgit v1.2.3