diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2022-04-22 12:53:32 +0200 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2022-04-22 13:56:44 +0200 |
| commit | a277ee4162bbe4e56b0cb7206595c4ca8416fc2c (patch) | |
| tree | 9e1608634f5a0cf7f286b21754a809910e1ffc8e /data | |
| parent | eaf4587f032549d79400fd4de9aba7c65e6c2fa2 (diff) | |
| download | rules-cc-a277ee4162bbe4e56b0cb7206595c4ca8416fc2c.tar.gz | |
rule ["CC", "header directory"]: drop ill-advised "public stage"
The idea, as documented, of a header directory is to have a
directory, closed as a tree, owned by the respective library and
internally handled in an efficient way (as a single tree). If we
open up that directory, we just have staged data, and therefore
should treat it as such.
Diffstat (limited to 'data')
0 files changed, 0 insertions, 0 deletions