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/buildtool/execution_api/remote/config.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/buildtool/execution_api/remote/config.hpp')
0 files changed, 0 insertions, 0 deletions