diff options
author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2022-08-05 12:18:30 +0200 |
---|---|---|
committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2022-08-05 15:41:00 +0200 |
commit | 72c113e15eb21214503019ec93844712bc526314 (patch) | |
tree | 9966e69404adc7d3d78537cda40f0f2e5615fa9f /LICENSE | |
parent | 29ba620502e05d6bd22d13fc819ddc98309c5a58 (diff) | |
download | justbuild-72c113e15eb21214503019ec93844712bc526314.tar.gz |
dump-targets: don't dump source trees
We have to include explicit tree references into our target-result
map, as these targets can provide a tree definition, if the root
is not a git root or compatible mode is used. Nevertheless, from a
user's persepective, trees are just source references, like files.
Therefore, do not include them, when dumping the map of analyzed
targets. In this way, we also avoid the ambiguity in the dump between
an explicit tree reference and a defined target with the same name.
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions