diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2023-09-20 10:49:03 +0200 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2023-09-20 18:43:39 +0200 |
| commit | 5fbba3abfa6e725b47a170b0c4f7ce5f8c2671e7 (patch) | |
| tree | 77d3afb331013f83769d7b3007f722af821acd3e /src/other_tools/just_mr/setup_utils.hpp | |
| parent | 70aef852705090b48ded2842269daa7884fa54fd (diff) | |
| download | justbuild-5fbba3abfa6e725b47a170b0c4f7ce5f8c2671e7.tar.gz | |
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.
Diffstat (limited to 'src/other_tools/just_mr/setup_utils.hpp')
| -rw-r--r-- | src/other_tools/just_mr/setup_utils.hpp | 3 |
1 files changed, 2 insertions, 1 deletions
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<std::filesystem::path> const& config_file_opt) noexcept + std::optional<std::filesystem::path> const& config_file_opt, + std::optional<std::filesystem::path> const& absent_file_opt) noexcept -> std::shared_ptr<Configuration>; /// \brief Setup of a remote API based on just-mr arguments. |