diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2024-09-24 10:04:03 +0200 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2024-09-24 11:13:14 +0200 |
| commit | f0d5b0423de0eb72cda0b5624ac28d72bf65cffd (patch) | |
| tree | 3d5dae98188f81b07266aa81a450f5c87e9d7f29 /src/other_tools/root_maps/root_utils.cpp | |
| parent | 1f99796d6f808f006dff6dc6576910bef493e244 (diff) | |
| download | justbuild-f0d5b0423de0eb72cda0b5624ac28d72bf65cffd.tar.gz | |
Repository setup: Warn about unknown keys
Warn if a repository definition contains unknown keys (that
are therefore ignored), as this often indicates a typo in the
repository specification. However, for some common naming of
extensions (currently: "bootstrap") keep the warning at a level
below the default for reporting.
Diffstat (limited to 'src/other_tools/root_maps/root_utils.cpp')
0 files changed, 0 insertions, 0 deletions