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/launch.cpp | |
| 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/launch.cpp')
| -rw-r--r-- | src/other_tools/just_mr/launch.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/other_tools/just_mr/launch.cpp b/src/other_tools/just_mr/launch.cpp index 26b87059..4e9403a8 100644 --- a/src/other_tools/just_mr/launch.cpp +++ b/src/other_tools/just_mr/launch.cpp @@ -60,7 +60,8 @@ auto CallJust(std::optional<std::filesystem::path> const& config_file, if (not lock) { return kExitGenericFailure; } - auto config = JustMR::Utils::ReadConfiguration(config_file); + auto config = JustMR::Utils::ReadConfiguration( + config_file, common_args.absent_repository_file); use_config = true; mr_config_path = MultiRepoSetup(config, |